Search results for "temporal"

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.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Jean-François Condotta, Gérard Ligozat, Mahmoud Saade	Qualitative Constraints for Job Shop Scheduling.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Carl P. L. Schultz, Robert Amor, Hans W. Guesgen	Towards a Theory of Application for QSTR Systems.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Marco Ragni, Gregory Kuhnmünch	A Cognitive Perspective on QSR: Navigation as an Example.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Matteo Cristani, Nicoletta Gabrielli	Practical Issues of Description Logics for Spatial Reasoning.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Diedrich Wolter	SparQ - A Spatial Reasoning Toolbox.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Jan Oliver Wallgrün	Multi-Hypothesis Topological Mapping Using Qualitative Spatial Reasoning.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Bernhard Nebel, Stefan Wölfl 0001	Organizing Committee.	AAAI Spring Symposium: Benchmarking of Qualitative Spatial and Temporal Reasoning Systems	2009	DBLP BibTeX RDF
24	Dan Clancy, Benjamin Kuipers	Time in Qualitative Simulation.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
24	Chitta Baral, Michael Gelfond	Logic Programming and Reasoning about Actions.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
24	Antony Galton	Eventualities.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
24	Jérôme Euzenat, Angelo Montanari	Time Granularity.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
24		Bibliography.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP BibTeX RDF
24	Lluís Vila, Hajime Yoshino 0001	Time in Automated Legal Reasoning.	Handbook of Temporal Reasoning in Artificial Intelligence	2005	DBLP DOI BibTeX RDF
24	Maria Fox 0001, Derek Long	Time in Planning.	Handbook of Temporal Reasoning in Artificial Intelligence	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	Spatio-Temporal Databases: The CHOROCHRONOS Approach	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.	Spatio-Temporal Databases: The CHOROCHRONOS Approach	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	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
24	Oded Maler	Timed Automata as an Underlying Model for Planning and Scheduling.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
24	Alexandra M. Coddington	Handling Durative Actions in a Continuous Planning Framework.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
24	Stefan Edelkamp	Mixed Propositional and Numeric Planning in the Model Checking Integrated Planning System.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
24	Fusun Yaman, Dana S. Nau	Timeline: An HTN Planner that can Reason about Time.	AIPS Workshop on Planning for Temporal Domains	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.	AIPS Workshop on Planning for Temporal Domains	2002	DBLP BibTeX RDF
24	Christophe Gurret, Yannis Manolopoulos, Apostolos Papadopoulos, Philippe Rigaux	The BASIS System: A Benchmarking Approach for Spatial Index Structures.	Spatio-Temporal Database Management	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.	Spatio-Temporal Database Management	1999	DBLP DOI BibTeX RDF
24	Harry Uitermark, Peter van Oosterom, Nicolaas J. I. Mars, Martien Molenaar	Ontology-Based Geographic Data Set Integration.	Spatio-Temporal Database Management	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)	Temporal Databases, Dagstuhl	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.	Temporal Databases, Dagstuhl	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	Executable Modal and Temporal Logics	1995	DBLP DOI BibTeX RDF
24	Michael D. Soo, Nick Kline, Richard T. Snodgrass	SQL-92 Compatibility Issues.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Christian S. Jensen, Richard T. Snodgrass, T. Y. Cliff Leung	Cursors.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Curtis E. Dyreson, Richard T. Snodgrass	A Timestamp Representation.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	John F. Roddick, Richard T. Snodgrass	Transaction Time Support.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Curtis E. Dyreson, Michael D. Soo, Richard T. Snodgrass	The Data Model for Time.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24		Language Specification.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Richard T. Snodgrass	TSQL2 Tutorial.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Richard T. Snodgrass, Christian S. Jensen, Fabio Grandi 0001	The From Clause.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Suchen H. Hsu, Christian S. Jensen, Richard T. Snodgrass	Valid-Time Selection and Projection.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Richard T. Snodgrass	Introduction to TSQL2.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Christian S. Jensen	Vacuuming.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	John F. Roddick, Richard T. Snodgrass	Schema Versioning.	The TSQL2 Temporal Query Language	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.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Richard T. Snodgrass, Christian S. Jensen, Fabio Grandi 0001	Schema Specification.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Richard T. Snodgrass, Michael D. Soo	Supporting Multiple Calendars.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24		Frontmatter.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Christian S. Jensen, Richard T. Snodgrass	The Surrogate Data Type.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	T. Y. Cliff Leung, Christian S. Jensen, Richard T. Snodgrass	Modification.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo	The TSQL2 Data Model.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Michael D. Soo, Christian S. Jensen, Richard T. Snodgrass	An Algebra for TSQL2	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24		References, Author Index, Syntax Index, Subject Index.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Michael D. Soo, Christian S. Jensen, Richard T. Snodgrass	An Architectural Framework.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Richard T. Snodgrass	Event Tables.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	James Clifford, Curtis E. Dyreson, Richard T. Snodgrass, Tomás Isakowitz, Christian S. Jensen	''Now''.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Curtis E. Dyreson, Richard T. Snodgrass	The Baseline Clock.	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	Nick Kline, Richard T. Snodgrass, T. Y. Cliff Leung	Aggregates	The TSQL2 Temporal Query Language	1995	DBLP BibTeX RDF
24	James Clifford, Albert Croker	The Historical Relational Data Model (HRDM) Revisited.	Temporal Databases	1993	DBLP BibTeX RDF
24	James Clifford, Albert Croker, Alexander Tuzhilin	On the Completeness of Query Languages for Grouped and Ungrouped Historical Data Models.	Temporal Databases	1993	DBLP BibTeX RDF
24	Nandlal L. Sarda	HSQL: A Historical Query Language.	Temporal Databases	1993	DBLP BibTeX RDF
24	Seymour Ginsburg	Object and Spreadsheet Histories.	Temporal Databases	1993	DBLP BibTeX RDF
24	Christian S. Jensen, Leo Mark	Differential Query Processing in Transaction-Time Databases.	Temporal Databases	1993	DBLP BibTeX RDF
24	Nikos A. Lorentzos	The Interval-extended Relational Model and Its Applications to Valid-time Databases.	Temporal Databases	1993	DBLP BibTeX RDF
24	Ramez Elmasri, Gene T. J. Wuu, Vram Kouramajian	The Time Index and the Monotonic B+-tree.	Temporal Databases	1993	DBLP BibTeX RDF
24	David B. Lomet, Betty Salzberg	Transaction-Time Databases.	Temporal Databases	1993	DBLP BibTeX RDF
24	Curtis P. Kolovson	Indexing Techniques for Historical Databases.	Temporal Databases	1993	DBLP BibTeX RDF
24	Richard T. Snodgrass	An Overview of TQuel.	Temporal Databases	1993	DBLP BibTeX RDF
24	Marcos Cavalcanti	Solving Air-Traffic Problems with "Possible Worlds".	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
24	Michael Fisher 0001	Towards a Semantics for Concurrent METATEM.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
24	Nienke den Haan	Investigations into the Applications of Deontic Logic.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
24	Mark Reynolds 0001	Towards First-Order Concurrent METATEM.	Executable Modal and Temporal Logics	1993	DBLP DOI BibTeX RDF
24	Behnam Banieqbal, Howard Barringer, Amir Pnueli (eds.)	Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings	Temporal Logic in Specification	1989	DBLP DOI BibTeX RDF
24	Bernhard Josko	MCTL - An Extension of CTL for Modular Verification of Concurrent Systems.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
24	Edmund M. Clarke, Orna Grumberg	The Model Checking Problem for Concurrent Systems with Many Similar Processes.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
24	Susanne Graf, Joseph Sifakis	An Expressive Logic for a Process Algebra with Silent Actions.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
24	Samit Khosla, T. S. E. Maibaum	The Prescription and Description of State Based Systems.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
24	Zohar Manna, Amir Pnueli	Specification and Verification of Concurrent Programs by forall-Automata.	Temporal Logic in Specification	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.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
24	P. M. Melliar-Smith	Extending Interval Logic to Real Time Systems.	Temporal Logic in Specification	1987	DBLP DOI BibTeX RDF
24	Moshe Y. Vardi	Unified Verification Theory.	Temporal Logic in Specification	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.	TIME	2008	DBLP DOI BibTeX RDF
24	David Toman 0001	On Incompleteness of Multi-dimensional First-order Temporal Logics.	TIME	2003	DBLP DOI BibTeX RDF
24	Clare Dixon, Michael Fisher 0001	Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge.	TIME	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.	TIME	2000	DBLP DOI BibTeX RDF	spatio-temporal data models
24	Wei Chen 0022, Parvathi Chundi	Trends Analysis of Topics Based on Temporal Segmentation.	DaWaK	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.	GIS	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.	Knowl. Inf. Syst.	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.	ACM Trans. Auton. Adapt. Syst.	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.	LFCS	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.	IMSCCS (2)	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.	LA-WEB	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.	GIS	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.	TIME	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.	3DIM	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.	ACM Trans. Database Syst.	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.	CSFW	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.	VL	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.	IEEE Trans. Software Eng.	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.	Appl. Intell.	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.	J. Intell. Inf. Syst.	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.	IEEE Trans. Image Process.	1997	DBLP DOI BibTeX RDF
23	Carlo Combi, Sara Degani	Building Logical Specifications of Temporal Granularities through Algebraic Operators.	TIME	2009	DBLP DOI BibTeX RDF	temporal granularity, granularity specifications, temporal logics