Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Cui Jian, Hui Shi 0001, Bernd Krieg-Brückner |
SimSpace: A Tool to Interpret Route Instructions with Qualitative Spatial Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 47-48, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Jean-François Condotta, Gérard Ligozat, Mahmoud Saade |
Qualitative Constraints for Job Shop Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 1-4, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Carl P. L. Schultz, Robert Amor, Hans W. Guesgen |
Towards a Theory of Application for QSTR Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 29-34, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Marco Ragni, Gregory Kuhnmünch |
A Cognitive Perspective on QSR: Navigation as an Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 23-28, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Matteo Cristani, Nicoletta Gabrielli |
Practical Issues of Description Logics for Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 5-10, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Diedrich Wolter |
SparQ - A Spatial Reasoning Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 53-, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Jan Oliver Wallgrün |
Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, pp. 35-40, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Bernhard Nebel, Stefan Wölfl 0001 |
Organizing Committee. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems ![In: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems, Papers from the 2009 AAAI Spring Symposium, Technical Report SS-09-02, Stanford, California, USA, March 23-25, 2009, 2009, AAAI. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Dan Clancy, Benjamin Kuipers |
Time in Qualitative Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 655-664, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Chitta Baral, Michael Gelfond |
Logic Programming and Reasoning about Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 389-426, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Antony Galton |
Eventualities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 25-58, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Jérôme Euzenat, Angelo Montanari |
Time Granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 59-118, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | |
Bibliography. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 665-722, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
24 | Lluís Vila, Hajime Yoshino 0001 |
Time in Automated Legal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 537-557, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Maria Fox 0001, Derek Long |
Time in Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Temporal Reasoning in Artificial Intelligence ![In: Handbook of Temporal Reasoning in Artificial Intelligence, pp. 497-536, 2005, Elsevier, 978-0-444-51493-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Manolis Koubarakis, Timos K. Sellis, Andrew U. Frank, Stéphane Grumbach, Ralf Hartmut Güting, Christian S. Jensen, Nikos A. Lorentzos, Yannis Manolopoulos, Enrico Nardelli, Barbara Pernici, Hans-Jörg Schek, Michel Scholl, Babis Theodoulidis, Nectaria Tryfona (eds.) |
Spatio-Temporal Databases: The CHOROCHRONOS Approach ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Databases: The CHOROCHRONOS Approach ![Springer, 3-540-40552-6 The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Adriano Di Pasquale, Luca Forlizzi, Christian S. Jensen, Yannis Manolopoulos, Enrico Nardelli, Dieter Pfoser, Guido Proietti, Simonas Saltenis, Yannis Theodoridis, Theodoros Tzouramanis, Michael Vassilakopoulos |
Access Methods and Query Processing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Databases: The CHOROCHRONOS Approach ![In: Spatio-Temporal Databases: The CHOROCHRONOS Approach, pp. 203-261, 2003, Springer, 3-540-40552-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Maria Fox 0001, Alexandra M. Coddington (eds.) |
AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002 ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Oded Maler |
Timed Automata as an Underlying Model for Planning and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![In: AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002, pp. 67-70, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Alexandra M. Coddington |
Handling Durative Actions in a Continuous Planning Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![In: AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002, pp. 33-40, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Stefan Edelkamp |
Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![In: AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002, pp. 47-55, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Fusun Yaman, Dana S. Nau |
Timeline: An HTN Planner that can Reason about Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![In: AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002, pp. 75-81, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | John L. Bresina, Richard Dearden, Nicolas Meuleau, David E. Smith 0001, Richard Washington |
Planning Under Continuous Time and Resource Uncertainty: A Challenge for AI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPS Workshop on Planning for Temporal Domains ![In: AIPS 2002 Workshop on Planning for Temporal Domains, Toulous, France, April 24, 2002, pp. 91-97, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
24 | Christophe Gurret, Yannis Manolopoulos, Apostolos Papadopoulos, Philippe Rigaux |
The BASIS System: A Benchmarking Approach for Spatial Index Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Database Management ![In: Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings, pp. 152-170, 1999, Springer, 3-540-66401-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
spatiotemporal data management, performance evaluation, benchmarking, spatial access methods |
24 | Jan Chomicki, Yuguo Liu, Peter Z. Revesz |
Animating Spatiotemporal Constraint Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Database Management ![In: Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings, pp. 224-241, 1999, Springer, 3-540-66401-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Harry Uitermark, Peter van Oosterom, Nicolaas J. I. Mars, Martien Molenaar |
Ontology-Based Geographic Data Set Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatio-Temporal Database Management ![In: Spatio-Temporal Database Management, International Workshop STDBM'99, Edinburgh, Scotland, September 10-11, 1999, Proceedings, pp. 60-78, 1999, Springer, 3-540-66401-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Opher Etzion, Sushil Jajodia, Suryanarayana M. Sripada (eds.) |
Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases, Dagstuhl ![Springer, 3-540-64519-5 The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Claudio Bettini, Curtis E. Dyreson, William S. Evans, Richard T. Snodgrass, Xiaoyang Sean Wang |
A Glossary of Time Granularity Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases, Dagstuhl ![In: Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997), pp. 406-413, 1997, Springer, 3-540-64519-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
24 | Michael Fisher 0001, Richard Owens (eds.) |
Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Executable Modal and Temporal Logics ![Springer, 3-540-58976-7 The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Michael D. Soo, Nick Kline, Richard T. Snodgrass |
SQL-92 Compatibility Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 497-500, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Christian S. Jensen, Richard T. Snodgrass, T. Y. Cliff Leung |
Cursors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 303-308, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Curtis E. Dyreson, Richard T. Snodgrass |
A Timestamp Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 471-496, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | John F. Roddick, Richard T. Snodgrass |
Transaction Time Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 317-324, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Curtis E. Dyreson, Michael D. Soo, Richard T. Snodgrass |
The Data Model for Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 93-98, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | |
Language Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 547-629, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass |
TSQL2 Tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 31-46, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass, Christian S. Jensen, Fabio Grandi 0001 |
The From Clause. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 243-248, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Suchen H. Hsu, Christian S. Jensen, Richard T. Snodgrass |
Valid-Time Selection and Projection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 249-296, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass |
Introduction to TSQL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 19-30, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Christian S. Jensen |
Vacuuming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 447-460, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | John F. Roddick, Richard T. Snodgrass |
Schema Versioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 425-446, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass, Christian S. Jensen, Curtis E. Dyreson, Wolfgang Käfer, Nick Kline, John F. Roddick |
A Second Example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 47-72, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass, Christian S. Jensen, Fabio Grandi 0001 |
Schema Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 239-242, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass, Michael D. Soo |
Supporting Multiple Calendars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 99-118, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | |
Frontmatter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Christian S. Jensen, Richard T. Snodgrass |
The Surrogate Data Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 149-152, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | T. Y. Cliff Leung, Christian S. Jensen, Richard T. Snodgrass |
Modification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 297-302, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo |
The TSQL2 Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 153-238, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Michael D. Soo, Christian S. Jensen, Richard T. Snodgrass |
An Algebra for TSQL2 ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 501-544, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | |
References, Author Index, Syntax Index, Subject Index. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Michael D. Soo, Christian S. Jensen, Richard T. Snodgrass |
An Architectural Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 461-470, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass |
Event Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 309-316, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | James Clifford, Curtis E. Dyreson, Richard T. Snodgrass, Tomás Isakowitz, Christian S. Jensen |
''Now''. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 383-392, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Curtis E. Dyreson, Richard T. Snodgrass |
The Baseline Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 73-92, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | Nick Kline, Richard T. Snodgrass, T. Y. Cliff Leung |
Aggregates ![Search on Bibsonomy](Pics/bibsonomy.png) |
The TSQL2 Temporal Query Language ![In: The TSQL2 Temporal Query Language, pp. 393-424, 1995, Kluwer, 0-7923-9614-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
24 | James Clifford, Albert Croker |
The Historical Relational Data Model (HRDM) Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 6-27, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | James Clifford, Albert Croker, Alexander Tuzhilin |
On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 496-533, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Nandlal L. Sarda |
HSQL: A Historical Query Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 110-140, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Seymour Ginsburg |
Object and Spreadsheet Histories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 271-293, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Christian S. Jensen, Leo Mark |
Differential Query Processing in Transaction-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 457-491, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Nikos A. Lorentzos |
The Interval-extended Relational Model and Its Applications to Valid-time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 67-91, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Ramez Elmasri, Gene T. J. Wuu, Vram Kouramajian |
The Time Index and the Monotonic B+-tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 433-456, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | David B. Lomet, Betty Salzberg |
Transaction-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 388-417, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Curtis P. Kolovson |
Indexing Techniques for Historical Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 418-432, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Richard T. Snodgrass |
An Overview of TQuel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Databases ![In: Temporal Databases: Theory, Design, and Implementation., pp. 141-182, 1993, Benjamin/Cummings, 0-8053-2413-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
24 | Marcos Cavalcanti |
Solving Air-Traffic Problems with "Possible Worlds". ![Search on Bibsonomy](Pics/bibsonomy.png) |
Executable Modal and Temporal Logics ![In: Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings, pp. 144-156, 1993, Springer, 3-540-58976-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Michael Fisher 0001 |
Towards a Semantics for Concurrent METATEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Executable Modal and Temporal Logics ![In: Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings, pp. 86-102, 1993, Springer, 3-540-58976-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Nienke den Haan |
Investigations into the Applications of Deontic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Executable Modal and Temporal Logics ![In: Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings, pp. 157-178, 1993, Springer, 3-540-58976-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Mark Reynolds 0001 |
Towards First-Order Concurrent METATEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Executable Modal and Temporal Logics ![In: Executable Modal and Temporal Logics, IJCAI '93, Workshop, Chambéry, France, August 28, 1993, Proceedings, pp. 118-143, 1993, Springer, 3-540-58976-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Behnam Banieqbal, Howard Barringer, Amir Pnueli (eds.) |
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![Springer, 3-540-51803-7 The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
24 | Bernhard Josko |
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 165-187, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Edmund M. Clarke, Orna Grumberg |
The Model Checking Problem for Concurrent Systems with Many Similar Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 188-201, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Susanne Graf, Joseph Sifakis |
An Expressive Logic for a Process Algebra with Silent Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 44-61, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Samit Khosla, T. S. E. Maibaum |
The Prescription and Description of State Based Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 243-294, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Zohar Manna, Amir Pnueli |
Specification and Verification of Concurrent Programs by forall-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 124-164, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Job Zwiers, Willem P. de Roever |
Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 351-374, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | P. M. Melliar-Smith |
Extending Interval Logic to Real Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 224-242, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Moshe Y. Vardi |
Unified Verification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Temporal Logic in Specification ![In: Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings, pp. 202-212, 1987, Springer, 3-540-51803-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
24 | Kothuri Venkata Ravi Kanth, Robert Hanckel, Aravind Yalamanchi |
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008, pp. 15-18, 2008, IEEE Computer Society, 978-0-7695-3181-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | David Toman 0001 |
On Incompleteness of Multi-dimensional First-order Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia, pp. 99-106, 2003, IEEE Computer Society, 0-7695-1912-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Clare Dixon, Michael Fisher 0001 |
Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000, pp. 69-78, 2000, IEEE Computer Society, 0-7695-0756-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
temporal and modal logics, non-classical resolution, theorem-proving |
24 | Sofie Haesevoets, Bart Kuijpers |
Closure Properties of Classes of Spatio-Temporal Objects under Boolean Set Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000, pp. 79-86, 2000, IEEE Computer Society, 0-7695-0756-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
spatio-temporal data models |
24 | Wei Chen 0022, Parvathi Chundi |
Trends Analysis of Topics Based on Temporal Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Data Warehousing and Knowledge Discovery, 11th International Conference, DaWaK 2009, Linz, Austria, August 31 - September 2, 2009, Proceedings, pp. 402-414, 2009, Springer, 978-3-642-03729-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy sets, Topics, Temporal Text Mining, Temporal Segmentation |
24 | Luciano Nocera, Arjun Rihan, Songhua Xing, Ali Khodaei, Ali Khoshgozaran, Farnoush Banaei Kashani, Cyrus Shahabi |
GeoDec: a multi-layered query processing framework for spatio-temporal data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, ACM-GIS 2009, November 4-6, 2009, Seattle, Washington, USA, Proceedings, pp. 546-547, 2009, ACM, 978-1-60558-649-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
spatio-temporal interface, architecture, interface, query, temporal, geospatial data, geospatial, visual analysis |
24 | Jeffrey Chan, James Bailey 0001, Christopher Leckie |
Discovering correlated spatio-temporal changes in evolving graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 16(1), pp. 53-96, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Evolving graphs, Dynamic graph analysis, Correlated spatio-temporal changes, Event discovery, Data mining, Clustering, Spatio-temporal analysis |
24 | Jinjun Chen, Yun Yang 0001 |
Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Auton. Adapt. Syst. ![In: ACM Trans. Auton. Adapt. Syst. 2(2), pp. 6, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
adaptive checkpoint selection, temporal verification, temporal constraints, Grid workflows |
24 | Vladimir V. Rybakov |
Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings, pp. 486-497, 2007, Springer, 978-3-540-72732-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
admissible inference rules, Temporal logic, linear temporal logic, branching time logic |
24 | Hui Ning, Haifeng Yuan, Shugang Chen |
Temporal Association Rules in Mining Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 739-742, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
temporal association rules, Frequent itemset, Apriori algorithm, temporal pattern |
24 | Alejandro A. Vaisman, Adrian Izquierdo, Marcelo Ktenas |
Web-enabled Temporal OLAP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LA-WEB ![In: Fourth Latin American Web Congress (LA-Web 2006), 25-27 October 2006, Cholula, Puebla, Mexico, pp. 220-229, 2006, IEEE Computer Society, 0-7695-2693-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Temporal OLAP, OLAP, Temporal Databases, Data Warehousing |
24 | Gilberto A. Gutiérrez, Gonzalo Navarro 0001, M. Andrea Rodríguez, Alejandro F. González, José Orellana |
A spatio-temporal access method based on snapshots and events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GIS ![In: 13th ACM International Workshop on Geographic Information Systems, ACM-GIS 2005, November 4-5, 2005, Bremen, Germany, Proceedings, pp. 115-124, 2005, ACM, 1-59593-146-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
spatio-temporal access methods, temporal events, r-trees |
24 | Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia |
Free Schedules for Free Agents in Workflow Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Seventh International Workshop on Temporal Representation and Reasoning, TIME 2000, Nova Scotia, Canada, July 7-9, 2000, pp. 31-37, 2000, IEEE Computer Society, 0-7695-0756-5. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
multi-agent systems, temporal reasoning, temporal constraints, workflow systems |
24 | Henrik O. Saldner, Jonathan M. Huntley |
Shape Measurement of Discontinuous Objects using Projected Fringes and Temporal Phase Unwrapping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DIM ![In: International Conference on Recent Advances in 3-D Digital Imaging and Modeling (3DIM '97), May 12-15, 1997, Ottawa, Ontario, Canada, pp. 44-50, 1997, IEEE Computer Society, 0-8186-7943-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
discontinuous objects, projected fringes, temporal phase unwrapping, fringe phase, temporal unwrapping, interferograms, signal-to-noise ratio, interferometry |
24 | Jan Chomicki |
Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 20(2), pp. 149-186, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
temporal logic, temporal databases, integrity constraints, active databases, database integrity, triggers, real-time databases |
24 | James W. Gray III, John McLean |
Using temporal logic to specify and verify cryptographic protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSFW ![In: The Eighth IEEE Computer Security Foundations Workshop (CSFW '95), March 13-15, 1995, Kenmare, County Kerry, Ireland, pp. 108-, 1995, IEEE Computer Society, 0-8186-7033-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify |
24 | Alberto Del Bimbo, Luigi Rella, Enrico Vicario |
Visual Specification of Branching Time Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VL ![In: Proceedings 11th International IEEE Symposium on Visual Languages, Darmstadt, Germany, September 5-9, 1995, pp. 61-68, 1995, IEEE Computer Society, 0-8186-7045-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
branching time temporal logic, ordering relationships, visual shell, recursive syntax, mathematical notation, recursive visualization rules, generative approach, generic textual formula visualisation, 3D virtual space, branching time formulae, complex formulae, formal specification, parallel processing, parallelism, temporal logic, specification languages, visual languages, visual language, data visualisation, graphic representation, nesting, descriptive language, visual specification, time-varying systems, time-varying systems, execution sequencing |
24 | Linda A. Ness |
L.0: A Truly Concurrent Executable Temporal Logic Language for Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(4), pp. 410-423, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
L.0, truly concurrent executable temporal logic language, true concurrency model, execution algorithm, standard imperative programming, state predicates, equality predicates, hierarchical message structure, Futurebus+, simulation, protocols, protocols, specification, temporal logic, specification languages, simulation languages |
24 | Rita V. Rodríguez |
A relativistic temporal algebra for efficient design of distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 3(1), pp. 31-45, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Atomic relation, incomparable events, interval temporal model, relativistic space-time, temporal algebra, distributed system, relation algebra |
24 | Alex Spokoiny, Yuval Shahar |
An active database architecture for knowledge-based incremental abstraction of complex concepts from continuously arriving time-oriented raw data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Inf. Syst. ![In: J. Intell. Inf. Syst. 28(3), pp. 199-231, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Continuous monitoring, Incremental temporal abstraction, Temporal mediation, Temporal reasoning, Active databases |
23 | Jean-Pierre Leduc, Jean-Marc Odobez, Claude Labit |
Adaptive motion-compensated wavelet filtering for image sequence coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 6(6), pp. 862-878, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
23 | Carlo Combi, Sara Degani |
Building Logical Specifications of Temporal Granularities through Algebraic Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings, pp. 107-114, 2009, IEEE Computer Society, 978-0-7695-3727-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
temporal granularity, granularity specifications, temporal logics |