Search results for "temporal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
10	Christian S. Jensen, Richard T. Snodgrass	Temporal Specialization and Generalization.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	temporal specialization, temporal generalization, specialized temporal relations, time attributes, restricted interrelationships, interconnected temporal relations, multiple time dimensions, generalized temporal relations, predecessor relation querying, successor relation, query processing performance, data structures, semantics, query processing, taxonomy, transaction processing, database theory, temporal databases, temporal database, generalisation (artificial intelligence), tuples, transaction time, valid time, temporal data models, temporal semantics
7	Nina Edelweiss, Patrícia Nogueira Hubler, Mirella Moura Moro, Giovani Demartini	A Temporal Database Management System Implemented on top of a Conventional Database.	SCCC	2000	DBLP DOI BibTeX RDF	conventional database, state transition rules, temporal integrity, query processing, query processing, specification, relational databases, relational database, data integrity, SQL, SQL, data models, temporal databases, temporal database, data representation, temporal query language, temporal data models, data definition
7	Alexander Bolotov, Michael Fisher	A Resolution Method For CTL Branching-Time Temporal Logic. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL*
6	Hatem Fawzi Halaoui	AIRSTD: An Approach for Indexing and Retrieving Spatio-Temporal Data.	SITIS	2006	DBLP DOI BibTeX RDF	Temporal indexing, Spatial, Temporal, Spatio-Temporal, Spatial indexing, Spatio-Temporal indexing, Geographical
6	Frank Schilder	Extracting meaning from temporal nouns and temporal prepositions.	ACM Trans. Asian Lang. Inf. Process.	2004	DBLP DOI BibTeX RDF	semantics for temporal expressions and temporal prepositions, temporal reference in discourse, information extraction, temporal reasoning, temporal information
6	M. A. Cárdenas Viedma, Isabel Navarrete, Roque Marín	Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic. (PDF / PS)	TIME	2000	DBLP DOI BibTeX RDF	Temporal logics and ontologies, temporal constraint reasoning, temporal languages and architectures, belief and uncertainty in temporal knowledge
6	Marisa A. Sanchez, Juan Carlos Augusto	Testing an Implementation of a Temporal Logic Language.	SCCC	2000	DBLP DOI BibTeX RDF	temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors
6	Sandra de Amo, Mirian Halfeld Ferrari Alves	Efficient Maintenance of Temporal Data Warehouses. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	temporal data warehouse maintenance, temporal views, auxiliary views, source databases, temporal algebraic query language, temporal databases, relational algebra, materialized views
6	Panagiotis Chountas, Ilias Petrounias	Representation of Definite, Indefinite and Infinite Temporal Information. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	definite information, indefinite information, infinite temporal information, precise enterprises, imperfect data, value imperfection, temporal indeterminacy, information system, temporal databases, temporal database
6	Alessandra Raffaetà, Chiara Renso	Temporal Reasoning in Geographical Information Systems. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	declarative approach, spatio-temporal data analysis, MuTACLP+, temporal primitive operators, modularity features, event planning, geographical information systems, GIS, temporal reasoning, temporal reasoning, spatial data, environmental monitoring, logic programming language
6	Malek Mouhoub	Reasoning about numeric and symbolic time information.	ICTAI	2000	DBLP DOI BibTeX RDF	symbolic time information, numeric time information, TemPro, qualitative temporal constraints, quantitative temporal constraints, scheduling, scheduling, real-time systems, natural language processing, planning (artificial intelligence), planning, natural languages, reasoning, temporal reasoning, temporal reasoning, real time applications, constraint propagation, constraint handling, temporal model, constraint theory, interval algebra
6	Vittorio Brusoni, Luca Console, Paolo Terenziani, Barbara Pernici	Qualitative and Quantitative Temporal Constraints and Relational Databases: Theory, Architecture, and Applications.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	temporal relational databases, temporal constraint propagation, qualitative and quantitative temporal constraints, Artificial intelligence, integration, temporal reasoning
6	Kathleen Hornsby, Max J. Egenhofer	Shifts in Detail through Temporal Zooming. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	spatio-temporal knowledge representation, spatio-temporal query languages, temporal zooming, spatio-temporal reasoning
6	Yuval Shahar	Knowledge-Based Temporal Interpolation. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	Temporal Interpolation, Temporal ontologies, Knowledge bases, Temporal databases, Temporal reasoning
6	Tank Pereira de Carvalho, Nina Edelweiss	A Visual Query System Implementing a Temporal Object-Oriented Model with Roles on a Relational Database. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	temporal object-oriented model, objects-with-roles model, commercial databases, data model mapping, VQS TF-ORM, temporal functionality, information retrieval environment, level-of-detail definitions, graphic scheme browsing, query storage, textual query representation, visual query representation, relational database, SQL, query language, visual databases, visual representation, temporal data model, visual query system, temporal operators
6	Jianan Li, Ichiro Suzuki, Masafumi Yamashita	A New Structural Induction Theorem for Rings of Temporal Petri Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings
5	Liguo Deng, Shu Yang, Jianhui Wang, Shidong Yu	On New Semantic of "Time" in Fuzzy Temporal Databases.	HIS	2009	DBLP DOI BibTeX RDF	fuzzy temporal database, fuzzy temporal data model, fuzzy temporal constraint, Fuzzy temporal query, valid-time
5	Liguo Deng, Yunpeng Cai, Chen Wang, Yan Jiang	Fuzzy Temporal Logic on Fuzzy Temporal Constraint Networks.	FSKD	2009	DBLP DOI BibTeX RDF	fuzzy temporal knowledge, fuzzy temporal constraints, fuzzy temporal logic, fuzzy sets, temporal reasoning
5	John Tang, Mirco Musolesi, Cecilia Mascolo, Vito Latora	Temporal distance metrics for social network analysis.	WOSN	2009	DBLP DOI BibTeX RDF	temporal efficiency, temporal metrics, social networks, complex networks, information diffusion, temporal graphs
5	Azlan Ismail, Jun Yan, Jun Shen	Verification of Composite Services with Temporal Consistency Checking and Temporal Satisfaction Estimation.	WISE	2009	DBLP DOI BibTeX RDF	temporal satisfaction, verification, temporal constraints, temporal consistency, composite service
5	Jinmu Choi, Jeong Chang Seong, Bora Kim, E. Lynn Usery	Innovations in Individual Feature History Management - The Significance of Feature-based Temporal Model.	GeoInformatica	2008	DBLP DOI BibTeX RDF	feature history, explicit temporal relationship, temporal primitives, feature-based temporal model
5	Fusheng Wang, Carlo Zaniolo, Xin Zhou	ArchIS: an XML-based approach to transaction-time temporal database systems.	VLDB J.	2008	DBLP DOI BibTeX RDF	Temporal grouping, Temporal database, XQuery, XML database, Temporal query
5	Pierre Hallot, Roland Billen	Life and Motion Configurations: A Basis for Spatio-temporal Generalized Reasoning Model.	ER Workshops	2008	DBLP DOI BibTeX RDF	spatio-temporal states, life and motion configuration, primitive space, spatio-temporal generalization, natural language interpretation, Spatio-temporal reasoning
5	Carlo Combi, Sara Degani, Christian S. Jensen	Capturing Temporal Constraints in Temporal ER Models.	ER	2008	DBLP DOI BibTeX RDF	Conceptual modeling, temporal databases, database design, entity-relationship models, temporal constraints, temporal data models
5	Andrzej Bassara	Language Model Based Temporal Information Indexing.	BIS	2008	DBLP DOI BibTeX RDF	temporal information retrieval, temporal expressions, temporal indexing, machine learning, information retrieval, indexing
5	Nicole Bidoit, Matthieu Objois	SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language.	TIME	2007	DBLP DOI BibTeX RDF	Temporal databases, temporal query languages
5	Paul Cotofrei, Kilian Stoffel	Stochastic processes and temporal data mining.	KDD	2007	DBLP DOI BibTeX RDF	consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining
5	Esteban Zimányi	Temporal aggregates and temporal universal quantification in standard SQL.	SIGMOD Record	2006	DBLP DOI BibTeX RDF	temporal aggregates, temporal universal quantifiers, SQL, temporal databases
5	Rodolfo Sabás Gómez, Juan Carlos Augusto	Expressiveness of temporal query languages: on the modelling of intervals, interval relationships and states.	Artif. Intell. Rev.	2006	DBLP DOI BibTeX RDF	Temporal deductive databases, Temporal relational databases, Knowledge representation, Temporal logic
5	John F. Roddick, Carl Mooney	Linear Temporal Sequences and Their Interpretation Using Midpoint Relationships.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF	temporal uncertainty, Allen temporal relationships, Freksa semi-intervals, Temporal reasoning
5	Marlon Dumas, Marie-Christine Fauvet, Pierre-Claude Scholl	TEMPOS: A Platform for Developing Temporal Applications on Top of Object DBMS.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	time representation, Temporal database, object database, temporal query language, temporal data model
5	Abdullah Uz Tansel	Integrity Constraints in Temporal Relational Databases.	ITCC	2004	DBLP DOI BibTeX RDF	Existential Integrity, Temporal Integrity Constraints, Temporal Databases, Integrity Constraints, Temporal Relations, Referential Integrity
5	Bongki Moon, Inés Fernando Vega López, Vijaykumar Immanuel	Efficient Algorithms for Large-Scale Temporal Aggregation.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	temporal aggregation, scalable query processing, balanced tree algorithm, merge-sort algorithm, temporal query processing, Temporal databases, data partitioning, aggregate queries
5	Maroua Bouzid	On-line transportation Scheduling using Spatio-Temporal Reasoning. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF	Temporal Representation and Reasoning in IA, Temporal aspects of agent-based system
5	Pierfrancesco Bellini, R. Mattonlini, Paolo Nesi	Temporal logics for real-time system specification.	ACM Comput. Surv.	2000	DBLP DOI BibTeX RDF	logic specification languages, metric of time, specification model, real-time, temporal logics, modal logic, reactive systems, temporal constraints, temporal relationships
5	Isabella Merlo, Elisa Bertino, Elena Ferrari, Shashi K. Gadia, Giovanna Guerrini	Querying Multiple Temporal Granularity Data. (PDF / PS)	TIME	2000	DBLP DOI BibTeX RDF	temporal granularities, temporal object databases, temporal object query languages
5	Kjetil Nørvåg	The Vagabond Temporal OID Index: An Index Structure for OID Indexing in Temporal Object Database Systems. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	logical OIDs, OID index, Vagabond Temporal OID Index, temporal object database, temporal databases, object database system
5	Carsten Kleiner, Udo W. Lipeck	Efficient Index Structures for Spatio-Temporal Objects. (PDF / PS)	DEXA Workshops	2000	DBLP DOI BibTeX RDF	spatio-temporal objects, tree-based access structures, spatio-temporal queries, generalized search trees, SS-tree, size-based penalty metrics, distance-based penalty metrics, tree data structures, index structures, spatial queries, temporal queries, R*-tree, database indexing
5	Heidi Gregersen, Christian S. Jensen	Temporal Entity-Relationship Models - A Survey.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	design criteria for temporal ER models, Conceptual modeling, temporal databases, database design, Entity-Relationship models, temporal data models, time semantics
5	Marlon Dumas, Marie-Christine Fauvet, Pierre-Claude Scholl	Handling Temporal Grouping and Pattern-Matching Queries in a Temporal Object Model.	CIKM	1998	DBLP DOI BibTeX RDF	O2, pattern-matching queries, temporal grouping, temporal object model, temporal databases, granularity, calendar, temporal query language
5	Paolo Terenziani	Integrating Calendar Dates and Qualitative Temporal Constraints in the Treatment of Periodic Events.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	temporal information about periodic events, representation and treatment of user-defined calendar dates, representation and treatment of qualitative temporal relations between periodic events, integration of user-defined calendar dates and qualitative information, intersection and composition of temporal specifications about periodic events, temporal reasoning for amalgamating a knowledge base of temporal information about periodic events and checking its consistency, inversion, Knowledge representation and reasoning
5	Abdullah Uz Tansel	Temporal Relational Data Model.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	Collapsed set operations, equivalence of relational algebra and calculus, temporal reduction, temporal relational algebra, temporal relational calculus, temporal databases, relational model
5	Xiaoyang Sean Wang, Claudio Bettini, Alexander Brodsky, Sushil Jajodia	Logical Design for Temporal Databases with Multiple Granularities.	ACM Trans. Database Syst.	1997	DBLP DOI BibTeX RDF	Boyce-Codd normal form, graularity, temporal modules, temporal databases, normalization, temporal relations, third normal form
5	Carlo Combi, Giancarlo Cucchi	GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	temporally-oriented, GCH-OSQL, clinical data, object-oriented temporal data model, mixed granularities, object-oriented, query language, temporal databases, temporal databases, temporal data, three-valued logic, valid time
5	Robert A. Morris, Lina Khatib	Entities and Relations for Historical Relational Databases. (PDF / PS)	TIME	1997	DBLP DOI BibTeX RDF	historical relational databases, temporal entities, valid-time relations, algebraic query language, temporal database research, relational databases, events, histories, temporal information, relational data model, temporal dimension
5	Ming Xiong, Rajendran M. Sivasankaran, John A. Stankovic, Krithi Ramamritham, Donald F. Towsley	Scheduling transactions with temporal constraints: exploiting data semantics. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	data temporal consistency, data-deadline, time cognizant nonwaiting transaction scheduling, time cognizant forced wait policies, temporal data similarity, user transactions, scheduling, performance, delay, temporal constraints, real-time database, data semantics, simulation experiments, transaction scheduling, sensor data
5	Grace Tsai, M. Insall, Bruce M. McMillin	Ensuring the satisfaction of a temporal specification at run-time.	ICECCS	1995	DBLP DOI BibTeX RDF	run-time temporal specification satisfaction, responsive computing system, run-time behavior, trace checking, fully distributed run-time evaluation system, train-set example, distributed system, real-time systems, real-time system, formal specification, temporal logic, distributed processing, software fault tolerance, fault-tolerant systems, interval temporal logic, operational environment
5	Gary Lilienfield, John W. Woods	Scalable high-definition video coding. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	scalable high-definition video coding, multiresolution viewing, embedded data sets, three-dimensional subband coder, spatio-temporal resolutions, motion-compensated temporal filtering, temporal scalability, optimal encoding, data compression, video coding, motion compensation, image resolution, filtering theory, temporal analysis
5	Richard T. Snodgrass, Santiago Gomez, L. Edwin McKenzie	Aggregates in the Temporal Query Language TQuel.	IEEE Trans. Knowl. Data Eng.	1993	DBLP DOI BibTeX RDF	TQuel, tuple relational calculus, nested aggregation, unique variants, statistical functions, historical algebra, relational databases, query languages, temporal database, temporal databases, formal semantics, valid time, temporal query language, temporal partitioning
5	Roberto Maiocchi, Barbara Pernici, Federico Barbic	Automatic Deduction of Temporal Information.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	meta-level temporal assertions, temporal modalities, time calculus, events, temporal database, propositions
5	Gerald M. Karam, Raymond J. A. Buhr	Temporal Logic-Based Deadlock Analysis For Ada.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
5	Ichiro Suzuki, Harngdar Lu	Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF	Temporal Petri nets, handshake daisy chain arbiter, temporal logic operations, temporal assertions, eventuality, modeling, Petri nets, fairness, analysis, timing constraints, formal logic, temporal relationships, causal relationships
4	Azlan Ismail, Jun Yan, Jun Shen	Analyzing Fault-Impact Region of Composite Service for Supporting Fault Handling Process.	IEEE SCC	2011	DBLP DOI BibTeX RDF	Temporal Impact, Temporal Satisfaction, Impact Analysis, Temporal Consistency, Temporal Properties
4	Yafang Wang, Mingjie Zhu, Lizhen Qu, Marc Spaniol, Gerhard Weikum	Timely YAGO: harvesting, querying, and visualizing temporal knowledge from Wikipedia.	EDBT	2010	DBLP DOI BibTeX RDF	knowledge harvesting, temporal fact extraction, ontology, knowledge management, Wikipedia, temporal queries
4	Du Zhang	On Temporal Properties of Knowledge Base Inconsistency.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	knowledge inconsistency, temporal inconsistency, interval relations, conflicting intervals, Interval temporal logic
4	Xiao-ping Ye, Yong Tang, LuoWu Chen, Huan Guo, Jun Zhu, KaiYuan Chen	Study and application of temporal index technology.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	temporal equivalence and inclusion, query and incremental update, dynamical management and implemention, temporal relation and XML
4	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
4	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
4	Xugang Lu, Masashi Unoki, Satoshi Nakamura	Normalization on the modulation spectrum of the subband temporal envelopes for automatic speech recognition in reverberant environments.	IUCS	2009	DBLP DOI BibTeX RDF	dereverberation, subband temporal envelope, temporal modulation, automatic speech recognition
4	Stefano Concaro, Lucia Sacchi, Carlo Cerra, Pietro Fratino, Riccardo Bellazzi	Mining Healthcare Data with Temporal Association Rules: Improvements and Assessment for a Practical Use.	AIME	2009	DBLP DOI BibTeX RDF	temporal association rules, hybrid events, healthcare data, Temporal data mining, diabetes mellitus
4	Paloma Chausa, César Cáceres, Lucia Sacchi, Agathe León, Felipe García, Riccardo Bellazzi, Enrique J. Gómez	Temporal Data Mining of HIV Registries: Results from a 25 Years Follow-Up.	AIME	2009	DBLP DOI BibTeX RDF	HIV Data Repository, Temporal Data Mining, Rule Discovery, Temporal Abstractions
4	Jing Zhu, Xiang Li, Lin Du	Spatio-temporal Model Based on Back Propagation Neural Network for Regional Data in GIS.	ISICA	2009	DBLP DOI BibTeX RDF	Regional data, Modular BP network, Regional spatio-temporal neural network model (RSTN model), Spatio-temporal analysis
4	Alberto Belussi, Carlo Combi, Gabriele Pozzani	Formal and conceptual modeling of spatio-temporal granularities.	IDEAS	2009	DBLP DOI BibTeX RDF	multigranularity, spatial granularities, spatio-temporal granularities, conceptual modeling, spatio-temporal databases
4	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
4	Jeffrey Chan, James Bailey, 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
4	Florian Verhein, Sanjay Chawla	Mining spatio-temporal patterns in object mobility databases.	Data Min. Knowl. Discov.	2008	DBLP DOI BibTeX RDF	Spatio-temporal association rules (STARs), Thoroughfares, Stationary regions, STAR-Miner, Spatio-temporal data mining, Sources, Sinks
4	Chunxia Zhang, Guiping Wang, Zhendong Niu	A formal ontology for temporal entities and its application in knowledge extraction.	JCDL	2008	DBLP DOI BibTeX RDF	temporal entity, temporal knowledge acquisition, time ontology
4	Chunxia Zhang, Cungen Cao, Zhendong Niu, Qing Yang	A Transformation-Based Error-Driven Learning Approach for Chinese Temporal Information Extraction.	AIRS	2008	DBLP DOI BibTeX RDF	temporal information extraction, Chinese temporal expressions, transformation-based error-driven learning
4	Margus Treumuth	Normalization of Temporal Information in Estonian.	TSD	2008	DBLP DOI BibTeX RDF	temporal reference in discourse, Temporal reasoning
4	Du Zhang, Hong Zhu	When Is Inconsistency Considered Harmful: Temporal Characterization of Knowledge Base Inconsistency.	IDEAL	2008	DBLP DOI BibTeX RDF	KB inconsistency, temporal inconsistency, conflicting intervals, interval temporal logic
4	Elena Camossi, Michela Bertolotto, Elisa Bertino	Querying Multigranular Spatio-temporal Objects.	DEXA	2008	DBLP DOI BibTeX RDF	Spatio-temporal query language, Spatial and temporal granularities
4	Jingde Cheng	Qualitative Spatio-temporal Reasoning about Moving Objects in Three-Dimensional Space.	ISICA	2008	DBLP DOI BibTeX RDF	Relevant and truth-preserving reasoning, Ampliative reasoning, Paracomplete and paraconsistent reasoning, Three-dimensional spatio-temporal relevant logic, Spatio-temporal reasoning
4	Xiao Liu, Jinjun Chen, Yun Yang	A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows.	BPM	2008	DBLP DOI BibTeX RDF	Temporal Constraint Setting, Probabilistic Strategy, Scientific Workflow, Temporal Constraints
4	Elena Camossi, Michela Bertolotto, Elisa Bertino	Multigranular spatio-temporal models: implementation challenges.	GIS	2008	DBLP DOI BibTeX RDF	multirepresentation, spatial and temporal granularities, multiresolution, spatio-temporal databases
4	Dolores Cuadra, Francisco Javier Calle, Jessica Rivero, David del Valle	Applying Spatio-temporal Databases to Interaction Agents.	DCAI	2008	DBLP DOI BibTeX RDF	Knowledge Management based interaction, Spatio-Temporal Databases, Natural Interaction, Spatio-Temporal Models, Situation Model
4	Markus Kalb, Peter Dadam	Unterstützung von Periodizität in Informationssystemen - Herausforderungen und Lösungsansätze.	Inform., Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	Temporal Granularities, Periodicity, Temporal Queries, Temporal Data Modells
4	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
4	Lucia Sacchi, Cristiana Larizza, Carlo Combi, Riccardo Bellazzi	Data mining with Temporal Abstractions: learning rules from time series.	Data Min. Knowl. Discov.	2007	DBLP DOI BibTeX RDF	Biomedical time series, Temporal data mining, Rule discovery, Temporal abstractions
4	Jinjun Chen, Yun Yang	Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems.	TAAS	2007	DBLP DOI BibTeX RDF	adaptive checkpoint selection, temporal verification, temporal constraints, Grid workflows
4	Tu Bao Ho, Canh Hao Nguyen, Saori Kawasaki, Si Quang Le, Katsuhiko Takabayashi	Exploiting Temporal Relations in Mining Hepatitis Data.	New Generation Comput.	2007	DBLP DOI BibTeX RDF	Hepatitis Study, Temporal Relations, Temporal Patterns
4	Ta-Te Lu, Wei-Lun Hsu, Pao-Chi Chang	A Low Complexity Recovery Temporal Synchronization Signals Based on Local Variance Statistics.	PCM	2007	DBLP DOI BibTeX RDF	Temporal attacks, temporal distortions, synchronization
4	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
4	Sandra de Amo, Arnaud Giacometti, Waldecir Pereira Junior	Mining First-Order Temporal Interval Patterns with Regular Expression Constraints.	DaWaK	2007	DBLP DOI BibTeX RDF	First-Order Temporal Interval Logic, Sequential Patterns, Temporal Data Mining, Constraint-based Mining
4	Asaf Shabtai, Maor Atlas, Yuval Shahar, Yuval Elovici	Evaluation of a temporal-abstraction knowledge acquisition tool in the network security domain.	K-CAP	2007	DBLP DOI BibTeX RDF	knowledge-based temporal abstraction, knowledge acquisition, computer-network security, temporal patterns, malicious software
4	Majeed Pooyandeh, Mohammad Saadi Mesgari, Abbas Alimohammadi, Rouzbeh Shad	A Comparison Between Complexity and Temporal GIS Models for Spatio-temporal Urban Applications.	ICCSA	2007	DBLP DOI BibTeX RDF	Temporal GIS models, urban applications, spatio-temporal modeling, complexity models
4	Betsy George, Sangho Kim, Shashi Shekhar	Spatio-temporal Network Databases and Routing Algorithms: A Summary of Results.	SSTD	2007	DBLP DOI BibTeX RDF	time-aggregated graphs, spatio-temporal data bases, shortest paths
4	Andrew U. Frank	Towards a Mathematical Theory for Snapshot and Temporal Formal Ontologies.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	temporal ontology, functional representation of ontological committment, ontology, Interoperability, logic, temporal, formal ontology
4	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
4	Clare Dixon, Michael Fisher, Boris Konev	Is There a Future for Deductive Temporal Verification?	TIME	2006	DBLP DOI BibTeX RDF	fragments of PTL, deductive verification, clausal temporal resolution, complexity
4	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
4	Jing Luo, Weihong Cui, Zhenguo Niu	The Study and Application of Object-oriented Hyper-graph Spatio-temporal Reasoning Model.	3D-GIS	2006	DBLP DOI BibTeX RDF	Hyper-graph, Spatio-temporal reasoning model, Object-oriented, Spatio-temporal data model
4	Hui Ning, Haifeng Yuan, Shugang Chen	Temporal Association Rules in Mining Method.	IMSCCS	2006	DBLP DOI BibTeX RDF	temporal association rules, Frequent itemset, Apriori algorithm, temporal pattern
4	Heidi Gregersen	The formal semantics of the timeER model.	APCCM	2006	DBLP DOI BibTeX RDF	conceptual modeling, temporal databases, database design, entity-relationship models, temporal data models, temporal semantics
4	Matthew Perry, Farshad Hakimpour, Amit P. Sheth	Analyzing theme, space, and time: an ontology-based approach.	GIS	2006	DBLP DOI BibTeX RDF	spatial ontology, spatio-temporal-thematic querying, temporal ontology, ontology, data modeling, RDF, domain ontology, spatial relationships, temporal relationships
4	Fusheng Wang, Xin Zhou, Carlo Zaniolo	Bridging relational database history and the web: the XML approach.	WIDM	2006	DBLP DOI BibTeX RDF	temporal grouping, temporal database, xquery, XML database, temporal query
4	Ahmed Y. Tawfik, Shakil M. Khan	Temporal Relevance in Dynamic Decision Networks with Sparse Evidence.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	dynamic decision networks, temporal relevance, temporal reasoning
4	M. Cecelia Buchanan, Polle Zellweger	Automatic temporal layout mechanisms revisited.	TOMCCAP	2005	DBLP DOI BibTeX RDF	temporal formatting, multimedia authoring, Multimedia documents, temporal specification
4	Dengfeng Gao, Christian S. Jensen, Richard T. Snodgrass, Michael D. Soo	Join operations in temporal databases.	VLDB J.	2005	DBLP DOI BibTeX RDF	Attribute skew, Interval join, Partition join, Sort-merge join, Temporal Cartesian product, Temporal join, Timestamp skew
4	M. Carmen Fernández Gago, Ullrich Hustadt, Clare Dixon, Michael Fisher, Boris Konev	First-Order Temporal Verification in Practice.	J. Autom. Reasoning	2005	DBLP DOI BibTeX RDF	temporal logics of knowledge, theorem proving, resolution, first-order temporal logic
4	Roy Gelbard, Israel Spiegler	Living with Database Conflicts: A Temporal Branching Technique.	Distributed and Parallel Databases	2005	DBLP DOI BibTeX RDF	temporal oriented databases, temporal versioning, check point, rollback and recovery, data integrity, distributed database, conflict resolution