|
|
Conferences in DBLP
- Michael H. Böhlen
Toward a Unifying View of Point and Interval Temporal Data Model. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:3-4 [Conf]
- Manolis Koubarakis
Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:5-6 [Conf]
- Ian Pratt-Hartmann
Temporal Prepositions and Their Logic. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:7-8 [Conf]
- Thierry Vidal
The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:9-10 [Conf]
- Lavinia Egidi, Paolo Terenziani
A Lattice of Classes of User-Defined Symbolic Periodicities. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:13-20 [Conf]
- Lavinia Egidi, Paolo Terenziani
A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:21-27 [Conf]
- Diana Cukierman, James P. Delgrande
The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:28-35 [Conf]
- Allel HadjAli, Didier Dubois, Henri Prade
A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:36-43 [Conf]
- Hans Jürgen Ohlbach
Relations Between Fuzzy Time Intervals. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:44-51 [Conf]
- Luca Anselma
Recursive Representation of Periodicity and Temporal Reasoning. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:52-59 [Conf]
- Hans Jürgen Ohlbach
The Role of Labeled Partitionings for Modeling Periodic Temporal Notions. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:60-63 [Conf]
- Vladimir Ryabov, André Trudel
Probabilistic Temporal Interval Networks. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:64-67 [Conf]
- Wan-Jui Lee, Shie-Jue Lee
Fuzzy Calendar Algebra and Its Applications to Data Mining. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:71-78 [Conf]
- Alessandro Artale
Reasoning on Temporal Conceptual Schemas with Dynamic Constraints. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:79-86 [Conf]
- Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire
Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:87-95 [Conf]
- Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang
Mapping Calendar Expressions into Periodical Granularities. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:96-102 [Conf]
- Yi Chen, Peter Z. Revesz
Max-Count Aggregation Estimation for Moving Points. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:103-108 [Conf]
- Hongwei Zhu, Stuart E. Madnick, Michael Siegel
Effective Data Integration in the Presence of Temporal Semantic Conflicts. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:109-114 [Conf]
- Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke
CTL Model Checking for Processing Simple XPath Queries. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:117-124 [Conf]
- Adrianna Alexander, Wolfgang Reisig
Compositional Temporal Logic Based on Partial Order. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:125-132 [Conf]
- Laura Giordano, Alberto Martelli
On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:133-139 [Conf]
- Alexander Bolotov, Artie Basukoski
A Clausal Resolution Method for Branching-Time Logic ECTL+. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:140-147 [Conf]
- Clare Dixon, M. Carmen Fernández Gago, Michael Fisher, Wiebe van der Hoek
Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:148-151 [Conf]
- E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov
Model Checking mu-Calculus in Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:152-155 [Conf]
- Angelo Montanari, Gabriele Puppis
Decidability of the Theory of the Totally Unbounded omega-Layered Structure. [Citation Graph (0, 0)][DBLP]
TIME, 2004, pp:156-160 [Conf]
|
