Search results for "TIME"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Sergio Mascetti, Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia	k-Anonymity in Databases with Timestamped Data.	TIME	2006	DBLP DOI BibTeX RDF
1	Carlo Combi, Angelo Montanari, Rosalba Rossato	A Uniform Algebraic Characterization of Temporal Functional Dependencies.	TIME	2005	DBLP DOI BibTeX RDF
1		12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA	TIME	2005	DBLP BibTeX RDF
1	Song Lin, Dimitrios Gunopulos, Vana Kalogeraki, Stefano Lonardi	A Data Compression Technique for Sensor Networks with Dynamic Bandwidth Allocation.	TIME	2005	DBLP DOI BibTeX RDF
1	Amal El-Nahas, Omar H. Karam, Ahmad Hamad, Ingy Ramzy	"TellMe": A Novel Protocol and Location Prediction Scheme Exploiting the "One For All" Framework for Location Management.	TIME	2005	DBLP DOI BibTeX RDF
1	Claudio Bettini, Sergio Mascetti	An Efficient Algorithm for Minimizing Time Granularity Periodical Representations.	TIME	2005	DBLP DOI BibTeX RDF
1	Stéphane Demri, Ranko Lazic 0001, David Nowak	On the Freeze Quantifier in Constraint LTL: Decidability and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
1	Michel A. Reniers, Yaroslav S. Usenko	Analysis of Timed Processes with Data Using Algebraic Transformations.	TIME	2005	DBLP DOI BibTeX RDF
1	Fusheng Wang 0001, Carlo Zaniolo, Xin Zhou	Temporal XML? SQL Strikes Back!	TIME	2005	DBLP DOI BibTeX RDF
1	Ben D'Angelo, Sriram Sankaranarayanan 0001, César Sánchez 0001, Will Robinson, Bernd Finkbeiner, Henny B. Sipma, Sandeep Mehrotra, Zohar Manna	LOLA: Runtime Monitoring of Synchronous Systems.	TIME	2005	DBLP DOI BibTeX RDF
1	Patrice Godefroid	Generalized Model Checking.	TIME	2005	DBLP DOI BibTeX RDF
1		Conference Organization.	TIME	2005	DBLP DOI BibTeX RDF
1	Andreas Schäfer 0001	Axiomatisation and Decidability of Multi-dimensional Duration Calculus.	TIME	2005	DBLP DOI BibTeX RDF	Real-time systems, temporal logic, mobile systems, Duration Calculus, spatial logic
1	Mohammed Al-Kateb, Essam Mansour 0001, Mohamed E. El-Sharkawi	CME: A Temporal Relational Model for Efficient Coalescing.	TIME	2005	DBLP DOI BibTeX RDF
1	Alexei Lisitsa 0001, Igor Potapov	Temporal Logic with Predicate lambda-Abstraction.	TIME	2005	DBLP DOI BibTeX RDF
1	Kiyoung Yang, Cyrus Shahabi	A Multilevel Distance-Based Index Structure for Multivariate Time Series.	TIME	2005	DBLP DOI BibTeX RDF
1	Krzysztof R. Apt, Sebastian Brand	Constraint-Based Qualitative Simulation.	TIME	2005	DBLP DOI BibTeX RDF
1	Peter Z. Revesz	Efficient Rectangle Indexing Algorithms Based on Point Dominance.	TIME	2005	DBLP DOI BibTeX RDF
1	André Trudel, Haiyi Zhang	Exploiting the Relationship between IA Networks and Finite Domain CSPs.	TIME	2005	DBLP DOI BibTeX RDF
1	Johann Eder, Horst Pichler	Probabilistic Calculation of Execution Intervals for Workflows.	TIME	2005	DBLP DOI BibTeX RDF
1	Marko Samer, Helmut Veith	Deterministic CTL Query Solving.	TIME	2005	DBLP DOI BibTeX RDF
1	Angelo Montanari	Propositional Interval Temporal Logics: Some Promising Paths.	TIME	2005	DBLP DOI BibTeX RDF
1	Pieter H. Hartel	A Trace Semantics for Positive Core XPath.	TIME	2005	DBLP DOI BibTeX RDF
1	Nicole Bidoit, Matthieu Objois	Temporal Query Languages Expressive Power: µTL versus T-WHILE.	TIME	2005	DBLP DOI BibTeX RDF
1	Carsten Lutz, Dirk Walther 0002, Frank Wolter	Quantitative Temporal Logics: PSPACE and Below.	TIME	2005	DBLP DOI BibTeX RDF
1		External Referees.	TIME	2005	DBLP DOI BibTeX RDF
1	Betty Salzberg	Indexing Inventory Snapshots.	TIME	2005	DBLP DOI BibTeX RDF
1		Message from the Chairs.	TIME	2005	DBLP DOI BibTeX RDF
1		Time in Liverpool - An Overview of Temporal Research in the Logic and Computation Group.	TIME	2005	DBLP DOI BibTeX RDF
1	James Pustejovsky	Time and the Semantic Web.	TIME	2005	DBLP DOI BibTeX RDF
1	Volker Gruhn, Ralf Laue 0001	Specification Patterns for Time-Related Properties.	TIME	2005	DBLP DOI BibTeX RDF	timed model checking, verification, formal specification, patterns
1	Philippe Muller, Axel Reymonet	Using Inference for Evaluating Models of Temporal Discourse.	TIME	2005	DBLP DOI BibTeX RDF
1	Artie Basukoski, Alexander Bolotov	Search Strategies for Resolution in CTL-Type Logics: Extension and Complexity.	TIME	2005	DBLP DOI BibTeX RDF
1	Fusheng Wang 0001, Carlo Zaniolo, Xin Zhou, Hyun Jin Moon	Version Management and Historical Queries in Digital Libraries.	TIME	2005	DBLP DOI BibTeX RDF
1	Seo-Young Noh, Shashi K. Gadia	An XML-Based Framework for Temporal Database Implementation.	TIME	2005	DBLP DOI BibTeX RDF
1	Roger Villemaire, Sylvain Hallé, Omar Cherkaoui	Configuration Logic: A Multi-site Modal Logic.	TIME	2005	DBLP DOI BibTeX RDF
1	Mahat Khelfallah, Belaid Benhamou	A Local Method for Prioritized Fusion of Temporal Information.	TIME	2005	DBLP DOI BibTeX RDF
1	E. V. Kouzmin, Nikolay V. Shilov 0002, Valery A. Sokolov	Model Checking mu-Calculus in Well-Structured Transition Systems.	TIME	2004	DBLP DOI BibTeX RDF
1	Ian Pratt-Hartmann	Temporal Prepositions and Their Logic.	TIME	2004	DBLP DOI BibTeX RDF
1	Hans Jürgen Ohlbach	Relations Between Fuzzy Time Intervals.	TIME	2004	DBLP DOI BibTeX RDF
1		11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island, Normandie, France	TIME	2004	DBLP BibTeX RDF
1	Lavinia Egidi, Paolo Terenziani	A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time.	TIME	2004	DBLP DOI BibTeX RDF	user-defined periodicity, semantics, Presburger Arithmetic, symbolic languages
1	Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke	CTL Model Checking for Processing Simple XPath Queries.	TIME	2004	DBLP DOI BibTeX RDF
1	Wan-Jui Lee, Shie-Jue Lee	Fuzzy Calendar Algebra and Its Applications to Data Mining.	TIME	2004	DBLP DOI BibTeX RDF
1	Angelo Montanari, Gabriele Puppis	Decidability of the Theory of the Totally Unbounded omega-Layered Structure.	TIME	2004	DBLP DOI BibTeX RDF
1	Hans Jürgen Ohlbach	The Role of Labeled Partitionings for Modeling Periodic Temporal Notions.	TIME	2004	DBLP DOI BibTeX RDF
1	Yi Chen, Peter Z. Revesz	Max-Count Aggregation Estimation for Moving Points.	TIME	2004	DBLP DOI BibTeX RDF
1	Alexander Bolotov, Artie Basukoski	A Clausal Resolution Method for Branching-Time Logic ECTL+.	TIME	2004	DBLP DOI BibTeX RDF
1	Allel HadjAli, Didier Dubois, Henri Prade	A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points.	TIME	2004	DBLP DOI BibTeX RDF
1	Claudio Bettini, Sergio Mascetti, Xiaoyang Sean Wang	Mapping Calendar Expressions into Periodical Granularities.	TIME	2004	DBLP DOI BibTeX RDF
1	Diana Cukierman, James P. Delgrande	The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition.	TIME	2004	DBLP DOI BibTeX RDF
1	Laura Giordano 0001, Alberto Martelli	On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic.	TIME	2004	DBLP DOI BibTeX RDF
1	Vladimir Ryabov, André Trudel	Probabilistic Temporal Interval Networks.	TIME	2004	DBLP DOI BibTeX RDF
1	Florent Masseglia, Pascal Poncelet, Maguelonne Teisseire	Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns.	TIME	2004	DBLP DOI BibTeX RDF
1	Clare Dixon, M. Carmen Fernández Gago, Michael Fisher 0001, Wiebe van der Hoek	Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.	TIME	2004	DBLP DOI BibTeX RDF
1	Adrianna Alexander, Wolfgang Reisig	Compositional Temporal Logic Based on Partial Order.	TIME	2004	DBLP DOI BibTeX RDF
1	Michael H. Böhlen	Toward a Unifying View of Point and Interval Temporal Data Model.	TIME	2004	DBLP DOI BibTeX RDF
1	Hongwei Zhu 0002, Stuart E. Madnick, Michael D. Siegel	Effective Data Integration in the Presence of Temporal Semantic Conflicts.	TIME	2004	DBLP DOI BibTeX RDF
1	Luca Anselma	Recursive Representation of Periodicity and Temporal Reasoning.	TIME	2004	DBLP DOI BibTeX RDF
1	Thierry Vidal	The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling.	TIME	2004	DBLP DOI BibTeX RDF
1	Alessandro Artale	Reasoning on Temporal Conceptual Schemas with Dynamic Constraints.	TIME	2004	DBLP DOI BibTeX RDF
1	Lavinia Egidi, Paolo Terenziani	A Lattice of Classes of User-Defined Symbolic Periodicities.	TIME	2004	DBLP DOI BibTeX RDF	user-defined periodicity, classification, symbolic languages
1	Manolis Koubarakis	Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning.	TIME	2004	DBLP DOI BibTeX RDF
1	Maroua Bouzid	On-line transportation Scheduling using Spatio-Temporal Reasoning.	TIME	2003	DBLP DOI BibTeX RDF	Temporal Representation and Reasoning in IA, Temporal aspects of agent-based system
1	Howard J. Hamilton, Liqiang Geng, Leah Findlater, Dee Jay Randall	Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs.	TIME	2003	DBLP DOI BibTeX RDF
1	Lin Xu, Berthe Y. Choueiry	A New Efficient Algorithm for Solving the Simple Temporal Problem.	TIME	2003	DBLP DOI BibTeX RDF
1	Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco	Definability and decidability of binary predicates for time granularity.	TIME	2003	DBLP DOI BibTeX RDF
1	Claudio Bettini	Web services for time granularity reasoning.	TIME	2003	DBLP DOI BibTeX RDF
1	Amir M. Anvar	Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning.	TIME	2003	DBLP DOI BibTeX RDF	intelligent navigation, fuzzy logic, temporal reasoning, Autonomous Underwater Vehicle
1	Aidan Harding, Mark Ryan 0001, Pierre-Yves Schobbens	Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL.	TIME	2003	DBLP DOI BibTeX RDF
1	Massimo Franceschet, Maarten de Rijke, Bernd-Holger Schlingloff	Hybrid Logics on Linear Structures: Expressivity and Complexity.	TIME	2003	DBLP DOI BibTeX RDF
1	Paolo Terenziani, Luca Anselma	Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity.	TIME	2003	DBLP DOI BibTeX RDF
1	Philippe Balbiani, Jean-François Condotta, Gérard Ligozat	On the Consistency Problem for the INDU Calculus.	TIME	2003	DBLP DOI BibTeX RDF
1	Till Mossakowski, Michael Drouineaud, Karsten Sohr	A temporal-logic extension of role-based access control covering dynamic separation of duties.	TIME	2003	DBLP DOI BibTeX RDF
1	Peter Z. Revesz, Yi Chen	Efficient Aggregation over Moving Objects.	TIME	2003	DBLP DOI BibTeX RDF
1	Bernhard Heinemann	An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge.	TIME	2003	DBLP DOI BibTeX RDF
1		10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia	TIME	2003	DBLP BibTeX RDF
1	Alexander Bolotov	A Clausal Resolution Method for Extended Computation Tree Logic ECTL.	TIME	2003	DBLP DOI BibTeX RDF
1	Gerard Ligozat	Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology.	TIME	2003	DBLP DOI BibTeX RDF
1	Bela Stantic, John Thornton 0001, Abdul Sattar 0001	A Novel Approach to Model NOW in Temporal Databases.	TIME	2003	DBLP DOI BibTeX RDF
1	Jatindra Kumar Deka	Reasoning about Extremal Properties of Events.	TIME	2003	DBLP DOI BibTeX RDF
1	Clare Dixon, Cláudia Nalon, Michael Fisher 0001	Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning.	TIME	2003	DBLP DOI BibTeX RDF
1	Boris Konev, Anatoli Degtyarev, Clare Dixon, Michael Fisher 0001, Ullrich Hustadt	Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case.	TIME	2003	DBLP DOI BibTeX RDF
1	David Toman 0001	On Incompleteness of Multi-dimensional First-order Temporal Logics.	TIME	2003	DBLP DOI BibTeX RDF
1	Ron van der Meyden	Modal Logics of Knowledge and Tim.	TIME	2003	DBLP DOI BibTeX RDF
1	Isabel Navarrete, Abdul Sattar 0001, Roque Marín	Deciding consistency of a point-duration network with metric constraints.	TIME	2003	DBLP DOI BibTeX RDF	Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
1	Abraham Otero, Paulo Félix, Carlos Vázquez Regueiro, Miguel A. Rodríguez, Senén Barro	A model to perform knowledge-based temporal abstraction over multiple signals.	TIME	2003	DBLP DOI BibTeX RDF
1	Tim French 0002	Quantified Propositional Temporal Logic with Repeating States.	TIME	2003	DBLP DOI BibTeX RDF
1	Ian M. Hodkinson, Roman Kontchakov, Agi Kurucz, Frank Wolter, Michael Zakharyaschev	On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.	TIME	2003	DBLP DOI BibTeX RDF
1	Fusheng Wang 0001, Carlo Zaniolo	Temporal Queries in XML Document Archives and Web Warehouses.	TIME	2003	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	Counterexample-Guided Abstraction Refinement.	TIME	2003	DBLP DOI BibTeX RDF
1	Antony Galton, Juan Carlos Augusto	Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.	TIME	2002	DBLP DOI BibTeX RDF
1	Carlo Montangero, Laura Semini	istributed States Logic.	TIME	2002	DBLP DOI BibTeX RDF
1	Alexandra M. Coddington	A Continuous Planning Framework with Durative Actions.	TIME	2002	DBLP DOI BibTeX RDF
1	Kyoji Kawagoe, Tomohiro Ueda	A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet Transforms.	TIME	2002	DBLP DOI BibTeX RDF
1	Carlo Combi, Massimo Franceschet, Adriano Peron	A Logical Approach to Represent and Reason about Calendars.	TIME	2002	DBLP DOI BibTeX RDF
1	Donghui Zhang, Vassilis J. Tsotras	Index Based Processing of Semi-Restrictive Temporal Joins.	TIME	2002	DBLP DOI BibTeX RDF
1	Daisuke Kachi	Tensed Ontology Based on Simple Partial Logic.	TIME	2002	DBLP DOI BibTeX RDF
1	Andrei A. Krokhin, Peter Jonsson	Extending the Point Algebra into the Qualitative Algebra.	TIME	2002	DBLP DOI BibTeX RDF
1	Alfonso Bosch, Manuel Torres 0001, Roque Marín	Reasoning with Disjunctive Fuzzy Temporal Constraint Networks.	TIME	2002	DBLP DOI BibTeX RDF

Publications at "TIME"( http://dblp.L3S.de/Venues/TIME )