Proceedings Ninth International Symposium on Temporal Representation and Reasoning
SCOPUS (1997,2000-2008,2011,2013-2014)
1530-1311
Cơ quản chủ quản: N/A
Các bài báo tiêu biểu
A parameterized algebra for event notification services
- Trang 61-63
#Algebra #Logistics #Temperature sensors #Software libraries #Filtering #Database systems #Clocks
Logic Trạng thái Phân tán Dịch bởi AI
- Trang 55-57
#Logic #DSL #Đồng hồ #Giao tiếp bất đồng bộ #Ngôn ngữ đặc tả #Điện toán đồng thời #Điện toán phân tán #Trì hoãn #Điện toán phổ biến #Thư viện thời gian chạy
A finite-state approach to event semantics
- Trang 124-131
#Automata #Motion pictures #Natural languages #Cameras #Computer science #Educational institutions #Cost accounting #Proposals #Labeling
Evolution specification of multigranular temporal objects
- Trang 78-85
#Temperature #Aggregates #Meteorology #Spatial databases #Weather forecasting #Cities and towns #Banking #Pollution #Kernel #Power generation
Tensed ontology based on simple partial logic
- Trang 141-145
#Ontologies #Logic #Cost accounting #Art #Terminology
Stratified causal theories for reasoning about deterministic devices and protocols
- Trang 52-54
#Protocols #Calculus #Cooling #Valves #Predictive models #Discrete event simulation
Temporal reasoning with classes and instances of events
- Trang 100-107
#Artificial intelligence #Computer science #Guidelines #Application software #Knowledge engineering #Protocols #Knowledge representation #Programming profession #Taxonomy
Representation and reasoning with disjunctive temporal constraints
- Trang 46-48
#Algebra #Costs #Time factors #Computational efficiency #Processor scheduling #Project management
Performance of querying temporal attributes in object-relational databases
- Trang 58-60
#Object oriented modeling #Indexing #Spatial indexes #Relational databases #Information systems #Database systems #Data models #Spatial databases #Size measurement