Search results for "temporal representation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Choon-Bo Shim, Jae-Woo Chang	Spatio-temporal representation and retrieval using moving object's trajectories.	ACM Multimedia Workshops	2000	DBLP DOI BibTeX RDF	moving object's trajectory, spatio-temporal representation, video database
2		Spatio-Temporal Representation.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	Clifton Phua, Vincent C. S. Lee, Ross W. Gayler, Kate A. Smith	Temporal Representation in Spike Detection of Sparse Personal Identity Streams.	WISI	2006	DBLP DOI BibTeX RDF
2	Ajumobi Udechukwu, Ken Barker, Reda Alhajj	A framework for representing navigational patterns as full temporal objects.	SIGecom Exchanges	2004	DBLP DOI BibTeX RDF	navigational pattern discovery, design, algorithms, human factors, web usage mining, temporal representation
2	Juan Mora, Joan Colomer, Joaquím Meléndez, Francisco Gamero, Peter Warren	Hybrid Approach Based on Temporal Representation and Classification Techniques Used to Determine Unstable Conditions in a Blast Furnace.	CAEPIA	2003	DBLP DOI BibTeX RDF
2	Isabel Navarrete, Abdul Sattar, Roque Marín	Deciding consistency of a point-duration network with metric constraints. (PDF / PS)	TIME	2003	DBLP DOI BibTeX RDF	Temporal representation and reasoning in AI, temporal constraint reasoning, point and duration reasoning
2	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
2	Choon-Bo Shim, Jae-Woo Chang	A Spatio-Temporal Representation Scheme for Content- and Semantic-Based Video Retrieval on Moving Objects' Trajectories.	WAIM	2002	DBLP DOI BibTeX RDF
2	Choon-Bo Shim, Jae-Woo Chang	A Spatio-temporal Representation Scheme for Modelin Moving Objects in Video Data.	ASIAN	2000	DBLP DOI BibTeX RDF
1	Minyoung Song, Chris Quintana	Representing "too small to see" as "too small to see" with temporal representation.	CHI	2012	DBLP DOI BibTeX RDF
1	Zhiming Pan, Hongkai Xiong	Sparse Spatio-Temporal Representation with Adaptive Regularized Dictionaries for Super-Resolution Based Video Coding.	DCC	2012	DBLP DOI BibTeX RDF
1	Carlo Combi, Martin Leucker, Frank Wolter (eds.)	Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011	TIME	2011	DBLP BibTeX RDF
1	Jean-Pierre Desclés, Hee-Jin Ro	Aspecto-Temporal Representation for Discourse Analysis: An Example of Formal Computation.	FLAIRS Conference	2011	DBLP BibTeX RDF
1	Bruce M. McLaren, Kevin D. Ashley	Can temporal representation and reasoning make a difference in automated legal reasoning?: lessons from an AI-based ethical reasoner.	ICAIL	2011	DBLP DOI BibTeX RDF
1	Kristen Brent Venable	Temporal Preferences.	TIME	2011	DBLP DOI BibTeX RDF
1	Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier	Linear Temporal Logic and Propositional Schemata, Back and Forth.	TIME	2011	DBLP DOI BibTeX RDF
1	Mark Reynolds	A Tableau for Until and Since over Linear Time.	TIME	2011	DBLP DOI BibTeX RDF
1	Jean-François Condotta, Dominique D'Almeida	Consistency of Qualitative Constraint Networks from Tree Decompositions.	TIME	2011	DBLP DOI BibTeX RDF
1	Jef Wijsen	Towards a Foundation of Data Currency.	TIME	2011	DBLP DOI BibTeX RDF
1	Davide Bresolin, Dario Della Monica, Angelo Montanari, Guido Sciavicco	The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT.	TIME	2011	DBLP DOI BibTeX RDF
1	Mohamed Amine Baazizi, Nicole Bidoit-Tollu, Dario Colazzo	Efficient Encoding of Temporal XML Documents.	TIME	2011	DBLP DOI BibTeX RDF
1	David A. Basin, Matús Harvan, Felix Klaedtke, Eugen Zalinescu	Monitoring Usage-Control Policies in Distributed Systems.	TIME	2011	DBLP DOI BibTeX RDF
1	Carlo Combi, Pietro Sala	Temporal Functional Dependencies Based on Interval Relations.	TIME	2011	DBLP DOI BibTeX RDF
1	Nir Piterman	p-Automata and Obligation Games.	TIME	2011	DBLP DOI BibTeX RDF
1	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border.	TIME	2011	DBLP DOI BibTeX RDF
1	Régis Gascon, Frédéric Mallet, Julien DeAntoni	Logical Time and Temporal Logics: Comparing UML MARTE/CCSL and PSL.	TIME	2011	DBLP DOI BibTeX RDF
1	Michael Grüninger, Darren Ong	Verification of Time Ontologies with Points and Intervals.	TIME	2011	DBLP DOI BibTeX RDF
1	Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif	Interleaved Programs and Rely-Guarantee Reasoning with ITL.	TIME	2011	DBLP DOI BibTeX RDF
1	Stefan Rigo, Alberto Lavelli	MulTiSEX - A Multi-language Timex Sequential Extractor.	TIME	2011	DBLP DOI BibTeX RDF
1	Michael R. Hansen, Aske Wiid Brekling	On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic.	TIME	2011	DBLP DOI BibTeX RDF
1	Carlo A. Furia, Paola Spoletini	On Relaxing Metric Information in Linear Temporal Logic.	TIME	2011	DBLP DOI BibTeX RDF
1	Alexei Lisitsa	Temporal Access to the Iteration Sequences: A Unifying Approach to Fixed Point Logics.	TIME	2011	DBLP DOI BibTeX RDF
1	Rajeev Goré, Jimmy Thomson, Florian Widmann	An Experimental Comparison of Theorem Provers for CTL.	TIME	2011	DBLP DOI BibTeX RDF
1	Nikolay V. Shilov	Algorithm Design Template Base on Temporal ADT.	TIME	2011	DBLP DOI BibTeX RDF
1	Ben C. Moszkowski	Compositional Reasoning Using Intervals and Time Reversal.	TIME	2011	DBLP DOI BibTeX RDF
1	Sven Schewe, Cong Tian	Synthesising Classic and Interval Temporal Logic.	TIME	2011	DBLP DOI BibTeX RDF
1	Gerhard Schellhorn	Extending ITL with Interleaved Programs for Interactive Verification.	TIME	2011	DBLP DOI BibTeX RDF
1	A. Dyana, Sukhendu Das	MST-CSS (Multi-Spectro-Temporal Curvature Scale Space), a Novel Spatio-Temporal Representation for Content-Based Video Retrieval.	IEEE Trans. Circuits Syst. Video Techn.	2010	DBLP DOI BibTeX RDF
1	Sotiris Batsakis, Euripides G. M. Petrakis	SOWL: spatio-temporal representation, reasoning and querying over the semantic web.	I-SEMANTICS	2010	DBLP DOI BibTeX RDF
1	Nicolas Markey, Jef Wijsen (eds.)	TIME 2010 - 17th International Symposium on Temporal Representation and Reasoning, Paris, France, 6-8 September 2010	TIME	2010	DBLP BibTeX RDF
1	Chao Deng, Xiaochun Cao, Hanyu Liu, Jian Chen	A Global Spatio-Temporal Representation for Action Recognition.	ICPR	2010	DBLP DOI BibTeX RDF
1	Massimo Benerecetti, Stefano Minopoli, Adriano Peron	Analysis of Timed Recursive State Machines.	TIME	2010	DBLP DOI BibTeX RDF
1	Sandie Balaguer, Thomas Chatain, Stefan Haar	A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
1	Sergios Petridis, Georgios Paliouras, Stavros J. Perantonis	Allen's Hourglass: Probabilistic Treatment of Interval Relations.	TIME	2010	DBLP DOI BibTeX RDF
1	Martin Leucker, César Sánchez	Regular Linear-Time Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Hang Yue, Elizabeth G. Jones, Peter Z. Revesz	Local Polynomial Regression Models for Average Traffic Speed Estimation and Forecasting in Linear Constraint Databases.	TIME	2010	DBLP DOI BibTeX RDF
1	Bart Kuijpers	Dealing with Uncertainty in Trajectory Databases.	TIME	2010	DBLP DOI BibTeX RDF
1	John Christopher McCabe-Dansted, Clare Dixon	CTL-Like Fragments of a Temporal Logic of Robustness.	TIME	2010	DBLP DOI BibTeX RDF
1	Martin C. Cooper, Frederic Maris, Pierre Régnier	Solving Temporally-Cyclic Planning Problems.	TIME	2010	DBLP DOI BibTeX RDF
1	Carlo Combi, Roberto Posenato	Towards Temporal Controllabilities for Workflow Schemata.	TIME	2010	DBLP DOI BibTeX RDF
1	Angelo Montanari, Ian Pratt-Hartmann, Pietro Sala	Decidability of the Logics of the Reflexive Sub-interval and Super-interval Relations over Finite Linear Orders.	TIME	2010	DBLP DOI BibTeX RDF
1	Sumesh Divakaran, Deepak D'Souza, M. Raj Mohan	Conflict-Tolerant Real-Time Specifications in Metric Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Luca Anselma, Paolo Terenziani, Richard T. Snodgrass	Valid-Time Indeterminacy in Temporal Relational Databases: A Family of Data Models.	TIME	2010	DBLP DOI BibTeX RDF
1	Béatrice Bérard, Serge Haddad, Mathieu Sassolas	Real Time Properties for Interrupt Timed Automata.	TIME	2010	DBLP DOI BibTeX RDF
1	Davide Bresolin, Pietro Sala, Dario Della Monica, Angelo Montanari, Guido Sciavicco	A Decidable Spatial Generalization of Metric Interval Temporal Logic.	TIME	2010	DBLP DOI BibTeX RDF
1	Kostas Patroumpas, Timos K. Sellis	Multi-granular Time-Based Sliding Windows over Data Streams.	TIME	2010	DBLP DOI BibTeX RDF
1	Ian Hodkinson	Interval Temporal Logics with Chop-Like Operators.	TIME	2010	DBLP DOI BibTeX RDF
1	Philippe Balbiani	Axiomatizing the Temporal Logic Defined over the Class of All Lexicographic Products of Dense Linear Orders without Endpoints.	TIME	2010	DBLP DOI BibTeX RDF
1	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro	Bounded Reachability for Temporal Logic over Constraint Systems.	TIME	2010	DBLP DOI BibTeX RDF
1	Lamia Belouaer, Maroua Bouzid, Abdel-Illah Mouaddib	Ontology Based Spatial Planning for Human-Robot Interaction.	TIME	2010	DBLP DOI BibTeX RDF
1	Luke Hunsberger	A Fast Incremental Algorithm for Managing the Execution of Dynamically Controllable Temporal Networks.	TIME	2010	DBLP DOI BibTeX RDF
1	François Laroussinie, Antoine Meyer, Eudes Petonnet	Counting LTL.	TIME	2010	DBLP DOI BibTeX RDF
1	Minyoung Song, Chris Quintana	TAVR: temporal-aural-visual representation to convey imperceptible spatial information.	CHI Extended Abstracts	2010	DBLP DOI BibTeX RDF	multimodal simulations, learning technologies, multimedia tools, temporal representations
1	Carsten Lutz, Jean-François Raskin (eds.)	TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings	TIME	2009	DBLP BibTeX RDF
1	Renato Bueno, Daniel S. Kaster, Agma Juci Machado Traina, Caetano Traina Jr.	Time-Aware Similarity Search: A Metric-Temporal Representation for Complex Data.	SSTD	2009	DBLP DOI BibTeX RDF
1	Serge Abiteboul, Pierre Bourhis, Alban Galland, Bogdan Marinoiu	The AXML Artifact Model.	TIME	2009	DBLP DOI BibTeX RDF	XML, database, workflow, documents, artifact
1	Tommaso Caselli, Felice dell'Orletta, Irina Prodanof	Temporal Relations with Signals: The Case of Italian Temporal Prepositions.	TIME	2009	DBLP DOI BibTeX RDF	Italian, signals, temporal relations
1	André Trudel	Interval Algebra Networks with Infinite Intervals.	TIME	2009	DBLP DOI BibTeX RDF	Interval algebra networks, infinite temporal intervals, Allen's logic, temporal reasoning
1	Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Undecidability of Interval Temporal Logics with the Overlap Modality.	TIME	2009	DBLP DOI BibTeX RDF
1	Catalin Dima	Positive and Negative Results on the Decidability of the Model-Checking Problem for an Epistemic Extension of Timed CTL.	TIME	2009	DBLP DOI BibTeX RDF	timed automata, epistemic logics
1	Mark Reynolds	Dense Time Reasoning via Mosaics.	TIME	2009	DBLP DOI BibTeX RDF	real-numbers time, complexity, temporal logic, reasoning
1	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
1	Olaf Beyersdorff, Arne Meier, Michael Thomas, Heribert Vollmer, Martin Mundhenk, Thomas Schneider 0002	Model Checking CTL is Almost Always Inherently Sequential.	TIME	2009	DBLP DOI BibTeX RDF	Model checking, complexity, temporal logic
1	Ivo Düntsch, Michael Winter	Timed Contact Algebras.	TIME	2009	DBLP DOI BibTeX RDF
1	Roger Villemaire, Sylvain Hallé	Strong Temporal, Weak Spatial Logic for Rule Based Filters.	TIME	2009	DBLP DOI BibTeX RDF	rule-based filters, temporal logic, spatial, anomalies
1	Carlo Zaniolo	Event-Oriented Data Models and Temporal Queries in Transaction-Time Databases.	TIME	2009	DBLP DOI BibTeX RDF	Trtansaction Time Databases, Event-Pattern Queries, Temporal Queries
1	Véronique Bruyère, Alexandre Decan, Jef Wijsen	On First-Order Query Rewriting for Incomplete Database Histories.	TIME	2009	DBLP DOI BibTeX RDF
1	Silvana Badaloni, Marco Falda	Classical and Fuzzy Neighborhood Relations of the Temporal Qualitative Algebra.	TIME	2009	DBLP DOI BibTeX RDF	Coarse Relations, Temporal Reasoning, Fuzzy Constraints
1	John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat	On the Expressivity of RoCTL*.	TIME	2009	DBLP DOI BibTeX RDF	reliability, Robustness, time, logic, CTL
1	Daniele Riboni, Linda Pareschi, Claudio Bettini, Sushil Jajodia	Preserving Anonymity of Recurrent Location-Based Queries.	TIME	2009	DBLP DOI BibTeX RDF
1	Szabolcs Mikulás, Mark Reynolds, Tim French	Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.	TIME	2009	DBLP DOI BibTeX RDF	temporal logic, epistemic logic, complete axiomatizations
1	Michel Ludwig, Ullrich Hustadt	Resolution-Based Model Construction for PLTL.	TIME	2009	DBLP DOI BibTeX RDF	Propositional Linear-Time Temporal Logic, Automated Model Construction, Resolution
1	Luke Hunsberger	Fixing the Semantics for Dynamic Controllability and Providing a More Practical Characterization of Dynamic Execution Strategies.	TIME	2009	DBLP DOI BibTeX RDF	temporal networks, dynamic controllability
1	Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu	Simple Algorithm for Simple Timed Games.	TIME	2009	DBLP DOI BibTeX RDF	reachability games, temporal uncertainity, timed game automata, STNU
1	Gabriel Cardona, Mercè Llabrés, Francesc Rosselló, Gabriel Valiente	Metrics for Phylogenetic Networks II: Nodal and Triplets Metrics.	IEEE/ACM Trans. Comput. Biology Bioinform.	2009	DBLP DOI BibTeX RDF	tree-child phylogenetic network, time consistency, partition distance, nodal distance, triplets distance, Phylogenetic network, temporal representation
1	Arnaud Saval, Yann Mombrun	Agate: information gathering for risk monitoring.	SIGIR	2009	DBLP DOI BibTeX RDF	search, risks, crawling, geographic
1	De Zhang, Yunhong Wang	Gender Recognition Based on Fusion of Face and Multi-view Gait.	ICB	2009	DBLP DOI BibTeX RDF
1	Johann Prankl, Martin Antenreiter, Peter Auer, Markus Vincze	Consistent Interpretation of Image Sequences to Improve Object Models on the Fly.	ICVS	2009	DBLP DOI BibTeX RDF
1	Yoshinori Isoda, Shoji Kurakake, Kazuo Imai	Ubiquitous sensor-based human behaviour recognition using the spatio-temporal representation of user states.	IJWMC	2008	DBLP DOI BibTeX RDF
1	Nicolas Turenne, Sylviane R. Schwer	Temporal representation for gene networks: towards a qualitative temporal data mining.	IJDMB	2008	DBLP DOI BibTeX RDF
1	Stéphane Demri, Christian S. Jensen (eds.)	15th International Symposium on Temporal Representation and Reasoning, TIME 2008, Université du Québec à Montréal, Canada, 16-18 June 2008	TIME	2008	DBLP BibTeX RDF
1	Muralikrishna Sridhar, Anthony G. Cohn, David C. Hogg	Learning Functional Object-Categories from a Relational Spatio-Temporal Representation.	ECAI	2008	DBLP DOI BibTeX RDF
1	Hans-Ulrich Krieger, Bernd Kiefer, Thierry Declerck	A Framework for Temporal Representation and Reasoning in Business Intelligence Applications.	AAAI Spring Symposium: AI Meets Business Rules and Process Management	2008	DBLP BibTeX RDF
1	Sebastian Hübner, Ubbo Visser	Temporal Representation and Reasoning for the Semantic Web.	FLAIRS Conference	2008	DBLP BibTeX RDF
1	Clare Dixon, Michael Fisher, Boris Konev, Alexei Lisitsa	Practical First-Order Temporal Reasoning.	TIME	2008	DBLP DOI BibTeX RDF
1	Davide Bresolin, Angelo Montanari, Pietro Sala	An optimal tableau for Right Propositional Neighborhood Logic over Trees.	TIME	2008	DBLP DOI BibTeX RDF
1	Frederic Maris, Pierre Régnier	TLP-GP: Solving Temporally-Expressive Planning Problems.	TIME	2008	DBLP DOI BibTeX RDF
1	Laura Bozzelli	The Complexity of CaRet + Chop.	TIME	2008	DBLP DOI BibTeX RDF
1	Bashar Saleh, Florent Masseglia	Time Aware Mining of Itemsets.	TIME	2008	DBLP DOI BibTeX RDF
1	Thomas Brihaye, Nicolas Markey, Mohamed Ghannem, Lionel Rieg	Good Friends are Hard to Find!	TIME	2008	DBLP DOI BibTeX RDF