Search results for "temporal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Alessandro Artale	Reasoning on temporal class diagrams: Undecidability results.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	AMS subject classification computer science, knowledge representation, database theory
20	Randa Atta, Mohammed Ghanbari 0001	Spatio-temporal scalability-based motion-compensated 3-D subband/DCT video coding.	IEEE Trans. Circuits Syst. Video Technol.	2006	DBLP DOI BibTeX RDF
20	Nagita Mehrseresht, David S. Taubman	An efficient content-adaptive motion-compensated 3-D DWT with enhanced spatial and temporal scalability.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
20	Steven Schockaert, David Ahn, Martine De Cock, Etienne E. Kerre	Question Answering with Imperfect Temporal Information.	FQAS	2006	DBLP DOI BibTeX RDF
20	Guy De Tré, Nico Van de Weghe, Rita M. M. De Caluwe, Philippe De Maeyer	Towards a Flexible Visualization Tool for Dealing with Temporal Data.	FQAS	2006	DBLP DOI BibTeX RDF	user interfaces, fuzzy set theory, Time modelling
20	Georgiana Puscasu, Patricio Martínez-Barco, Estela Saquete	On the Identification of Temporal Clauses.	MICAI	2006	DBLP DOI BibTeX RDF
20	Marcela Campo, Alejandro A. Vaisman	Consistency of Temporal XML Documents.	XSym	2006	DBLP DOI BibTeX RDF
20	Carlos A. Hurtado, Alejandro A. Vaisman	Reasoning with Temporal Constraints in RDF.	PPSWR	2006	DBLP DOI BibTeX RDF
20	Florian Verhein, Sanjay Chawla	Mining Spatio-temporal Association Rules, Sources, Sinks, Stationary Regions and Thoroughfares in Object Mobility Databases.	DASFAA	2006	DBLP DOI BibTeX RDF
20	Huahui Wu, Mark Claypool, Robert E. Kinicki	On combining temporal scaling and quality scaling for streaming MPEG.	NOSSDAV	2006	DBLP DOI BibTeX RDF
20	Shu Chen, Yu Zhang, Wade Trappe	Inverting sensor networks and actuating the environment for spatio-temporal access control.	SASN	2006	DBLP DOI BibTeX RDF	access control, localization
20	Zhiqing Meng, Lifang Peng, Gengui Zhou, Yihua Zhu 0001	A Multi-classification Method of Temporal Data Based on Support Vector Machine.	CIS	2006	DBLP DOI BibTeX RDF
20	Paul Cotofrei, Kilian Stoffel	First-Order Logic Based Formalism for Temporal Data Mining *.	Foundations of Data Mining and knowledge Discovery	2005	DBLP DOI BibTeX RDF
20	Michiel A. Klompenhouwer	The temporal MTF of displays and related video signal processing.	ICIP (2)	2005	DBLP DOI BibTeX RDF
20	Jixin Ma 0001, Brian Knight, Miltos Petridis, Amin Mineh	Visualizing a Temporal Consistence Checker.	IV	2005	DBLP DOI BibTeX RDF
20	Claudio Gutierrez 0001, Carlos A. Hurtado, Alejandro A. Vaisman	Temporal RDF.	ESWC	2005	DBLP DOI BibTeX RDF
20	Silvana Badaloni, Marco Falda	Discriminating Exanthematic Diseases from Temporal Patterns of Patient Symptoms.	AIME	2005	DBLP DOI BibTeX RDF
20	Edi Winarko, John F. Roddick	Discovering Richer Temporal Association Rules from Interval-Based Data.	DaWaK	2005	DBLP DOI BibTeX RDF
20	Ullrich Hustadt, Boris Konev, Renate A. Schmidt	Deciding Monodic Fragments by Temporal Resolution.	CADE	2005	DBLP DOI BibTeX RDF
20	Ana Isabel González-Tablas Ferreres, L. M. Salas, Benjamín Ramos, Arturo Ribagorda	Providing Personalization and Automation to Spatial-Temporal Stamping Services.	DEXA Workshops	2005	DBLP DOI BibTeX RDF
20	Hillel Kugler, David Harel, Amir Pnueli, Yuan Lu, Yves Bontemps	Temporal Logic for Scenario-Based Specifications.	TACAS	2005	DBLP DOI BibTeX RDF
20	Dayong Ding, Le Chen, Bo Zhang 0010	Temporal Shot Clustering Analysis for Video Concept Detection.	ECIR	2005	DBLP DOI BibTeX RDF
20	Thomas F. Wenisch, Stephen Somogyi, Nikolaos Hardavellas, Jangwoo Kim, Anastassia Ailamaki, Babak Falsafi	Temporal Streaming of Shared Memory.	ISCA	2005	DBLP DOI BibTeX RDF
20	Marko Samer, Helmut Veith	Deterministic CTL Query Solving.	TIME	2005	DBLP DOI BibTeX RDF
20	Jiho Park, Dong-Chul Park 0001, Robert J. Marks II, Mohamed A. El-Sharkawi	Content-based adaptive spatio-temporal methods for MPEG repair.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
20	Shih-Ta Hsiang, John W. Woods, Jens-Rainer Ohm	Invertible temporal subband/wavelet filter banks with half-pixel-accurate motion compensation.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
20	Fabian Mörchen, Alfred Ultsch	Mining Hierarchical Temporal Patterns in Multivariate Time Series.	KI	2004	DBLP DOI BibTeX RDF
20	Michael Hildebrandt, Karsten Loer, Michael D. Harrison	Time design: analysing human temporal control behaviour in dynamic real-time systems.	SMC (1)	2004	DBLP DOI BibTeX RDF
20	Yifeng Chen, Zhiming Liu 0001	Integrating Temporal Logics.	IFM	2004	DBLP DOI BibTeX RDF
20	Seung-Hyun Jeong, Alvaro A. A. Fernandes, Norman W. Paton, Tony Griffiths	A Generic Algorithmic Framework for Aggregation of Spatio-Temporal Data.	SSDBM	2004	DBLP DOI BibTeX RDF
20	Chong-Wah Ngo, Ting-Chuen Pong, HongJiang Zhang	Motion analysis and segmentation through spatio-temporal slices processing.	IEEE Trans. Image Process.	2003	DBLP DOI BibTeX RDF
20	Kjetil Nørvåg	V2: A Database Approach to Temporal Document Management.	IDEAS	2003	DBLP DOI BibTeX RDF
20	Dimitrios Perperidis, Anil Rao, Raad Mohiaddin, Daniel Rueckert	Non-rigid Spatio-Temporal Alignment of 4D Cardiac MR Images.	WBIR	2003	DBLP DOI BibTeX RDF
20	Jin Suk Kim, Hohn Gyu Lee, Sungbo Seo, Keun Ho Ryu	CTAR: Classification Based on Temporal Class-Association Rules for Intrusion Detection.	WISA	2003	DBLP DOI BibTeX RDF
20	Daniel Fagerström	Temporal Scale Spaces.	Scale-Space	2003	DBLP DOI BibTeX RDF
20	Stefania Bertazzon	Spatial and Temporal Autocorrelation in Innovation Diffusion Analysis.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
20	Anthony Y. Chang, Jason C. Hung	An Integrated Temporal Composition Model for Synchronization Specification.	AINA	2003	DBLP DOI BibTeX RDF
20	Asanobu Kitamoto	Evolution Map: Modeling State Transition of Typhoon Image Sequences by Spatio-Temporal Clustering.	Discovery Science	2002	DBLP DOI BibTeX RDF
20	M. Carmen Fernández Gago, Michael Fisher 0001, Clare Dixon	Algorithms for Guiding Clausal Temporal Resolution.	KI	2002	DBLP DOI BibTeX RDF
20	Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev	Decidable and Undecidable Fragments of First-Order Branching Temporal Logics.	LICS	2002	DBLP DOI BibTeX RDF
20	Yong-Jin Choi, Chin-Wan Chung	Selectivity estimation for spatio-temporal queries to moving objects.	SIGMOD Conference	2002	DBLP DOI BibTeX RDF
20	Arie Gurfinkel, Benet Devereux, Marsha Chechik	Model exploration with temporal logic query checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	multi-valued model-checking, query-checking, CTL
20	Tony Lindeberg	Time-Recursive Velocity-Adapted Spatio-Temporal Scale-Space Filters.	ECCV (1)	2002	DBLP DOI BibTeX RDF
20	Sudha Ram, Richard T. Snodgrass, Vijay Khatri, Yousub Hwang	DISTIL: A Design Support Environment for Conceptual Modeling of Spatio-temporal Requirements.	ER	2001	DBLP DOI BibTeX RDF
20	Giedrius Slivinskas, Christian S. Jensen, Richard T. Snodgrass	Adaptable Query Optimization and Evaluation in Temporal Middleware.	SIGMOD Conference	2001	DBLP DOI BibTeX RDF
20	Donghui Zhang, Alexander Markowetz, Vassilis J. Tsotras, Dimitrios Gunopulos, Bernhard Seeger	Efficient Computation of Temporal Aggregates with Range Predicates. (PDF / PS)	PODS	2001	DBLP DOI BibTeX RDF
20	Antonio Garrido Tejero, Eva Onaindia, Federico Barber	A Temporal Planning System for Time-Optimal Planning.	EPIA	2001	DBLP DOI BibTeX RDF
20	Floris Geerts, Sofie Haesevoets, Bart Kuijpers	A Theory of Spatio-Temporal Database Queries.	DBPL	2001	DBLP DOI BibTeX RDF
20	Ugo Dal Lago, Angelo Montanari	Calendars, Time Granularities, and Automata.	SSTD	2001	DBLP DOI BibTeX RDF
20	Meenakshi Kaul, Ranga Vemuri	Design-Space Exploration for Block-Processing Based Temporal Partitioning of Run-Time Reconfigurable Systems.	J. VLSI Signal Process.	2000	DBLP DOI BibTeX RDF
20	Chris P. Rainsford, John F. Roddick	Visualisation of Temporal Interval Association Rules.	IDEAL	2000	DBLP DOI BibTeX RDF
20	Jun Yang 0001, Huacheng C. Ying, Jennifer Widom	TIP: A Temporal Extension to Informix.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
20	Kjetil Nørvåg	Design Issues in Transaction-Time Temporal Object Database Systems.	ADBIS-DASFAA	2000	DBLP DOI BibTeX RDF
20	Nandlal L. Sarda	Temporal Issues in Data Warehouse Systems.	DANTE	1999	DBLP DOI BibTeX RDF
20	Arkadi Estrin, Michael Kaminski	The Expressive Power of Temporal Logic of Actions (Extended Abstract).	CONCUR	1999	DBLP DOI BibTeX RDF
20	Vittorio Brusoni, Luca Console, Barbara Pernici, Paolo Terenziani	LaTeR: A General Purpose Manager of Temporal Information.	ISMIS	1994	DBLP DOI BibTeX RDF
20	Scarlet Schwiderski, Gunter Saake	Expressing Temporal Behaviour with Extended ECA Rules.	BNCOD	1994	DBLP DOI BibTeX RDF
20	Cristina Ribeiro 0001, António Porto	Representation and Inference with Consistent Temporal Propositions.	ELP	1993	DBLP DOI BibTeX RDF
20	Ziqiang Chen	Uncertain Temporal Knowledge Management.	SEKE	1992	DBLP DOI BibTeX RDF
20	Edward Y. Chang, Zohar Manna, Amir Pnueli	Characterization of Temporal Property Classes.	ICALP	1992	DBLP DOI BibTeX RDF
20	Wolfgang Käfer, Harald Schöning	Realizing a Temporal Complex-Object Data Model.	SIGMOD Conference	1992	DBLP DOI BibTeX RDF
20	Yulin Feng, Junbo Liu	A Temporal Approach to Algebraic Specifications.	CONCUR	1990	DBLP DOI BibTeX RDF
20	Gyözö Gidófalvi, Torben Bach Pedersen	Mining Long, Sharable Patterns in Trajectories of Moving Objects.	GeoInformatica	2009	DBLP DOI BibTeX RDF	ride-sharing, SQL-based pattern mining, intelligent transportation systems, mining, spatio-temporal data, frequent itemset mining, moving object trajectories
20	Heejung Yang, Chin-Wan Chung	An Effective and Efficient Method for Handling Transmission Failures in Sensor Networks.	DASFAA	2009	DBLP DOI BibTeX RDF	Spatio-temporal suppression, Transmission failures, Sensor networks
20	Jieh-Shan Yeh, Chih-Yang Chang, Yao-Te Wang	Efficient algorithms for incremental utility mining.	ICUIMC	2008	DBLP DOI BibTeX RDF	incremental mining, temporal data mining, utility mining
20	Lihi Zelnik-Manor, Michal Irani	Statistical Analysis of Dynamic Actions.	IEEE Trans. Pattern Anal. Mach. Intell.	2006	DBLP DOI BibTeX RDF	video indexing, Action recognition, temporal segmentation
20	Lihi Zelnik-Manor, Michal Irani	On Single-Sequence and Multi-Sequence Factorizations.	Int. J. Comput. Vis.	2006	DBLP DOI BibTeX RDF	subspace based methods, multi-body segmentation, multi-sequence matching, factorization, temporal synchronization
20	Hicham G. Elmongui, Mourad Ouzzani, Walid G. Aref	Challenges in spatiotemporal stream query optimization.	MobiDE	2006	DBLP DOI BibTeX RDF	multi-predicate, query optimization, spatio-temporal
20	Xiangyu Luo, Kaile Su, Abdul Sattar 0001, Qingliang Chen, Guanfeng Lv	Bounded model checking knowledge and branching time in synchronous multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
20	Klaus Havelund, Grigore Rosu	An Overview of the Runtime Verification Tool Java PathExplorer.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	Java, dynamic programming, temporal logic, deadlocks, automata, rewriting logic, runtime verification, data races, trace analysis, program instrumentation, Maude
20	Simonas Saltenis, Christian S. Jensen	Indexing of now-relative spatio-bitemporal data.	VLDB J.	2002	DBLP DOI BibTeX RDF	Bitemporal data, Access method, R-tree, Spatio-temporal data, Multidimensional indexing, Transaction time, Valid time
20	Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo	Formal Analysis of Real-Time Systems with SAM.	ICFEM	2002	DBLP DOI BibTeX RDF	model, Real-time system, Petri net, temporal logic, analysis, SAM
20	Anne P. Massey, Mitzi M. Montoya-Weiss, Yu-Ting Caisy Hung	Synchronizing Pace in Asynchronous Global Virtual Project Teams.	HICSS	2002	DBLP DOI BibTeX RDF	global virtual project teams, temporal coordination, asynchronous technology, cluster analysis
19	Hans-Peter Kriegel, Peer Kröger, Matthias Renz	Techniques for Efficiently Searching in Spatial, Temporal, Spatio-temporal, and Multimedia Databases.	DASFAA	2009	DBLP DOI BibTeX RDF
19	Yue Zhang 0002, James B. D. Joshi	Temporal UAS: Supporting Efficient RBAC Authorization in Presence of the Temporal Role Hierarchy.	EUC (2)	2008	DBLP DOI BibTeX RDF
19	Norihiro Kamide	Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.	CLIMA	2008	DBLP DOI BibTeX RDF
19	Yuechang Liu, Yunfei Jiang, Hong Qian	Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems.	TIME	2008	DBLP DOI BibTeX RDF
19	Manuel Campos, José T. Palma, Roque Marín	Temporal Data Mining with Temporal Constraints.	AIME	2007	DBLP DOI BibTeX RDF
19	Yuechang Liu, Hong Qian, Yunfei Jiang	Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems.	TIME	2007	DBLP DOI BibTeX RDF
19	Marcel Puchol-Blasco, Estela Saquete, Patricio Martínez-Barco	Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora.	TIME	2007	DBLP DOI BibTeX RDF
19	Yuchang Cheng, Masayuki Asahara, Yuji Matsumoto 0001	Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis.	TIME	2007	DBLP DOI BibTeX RDF
19	Kjetil Nørvåg, Albert Overskeid Nybø	DyST: Dynamic and Scalable Temporal Text Indexing.	TIME	2006	DBLP DOI BibTeX RDF
19	Ansuman Banerjee, Pallab Dasgupta	The open family of temporal logics: Annotating temporal operators with input constraints.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF
19	Jingde Cheng	Spatio-Temporal Relevant Logic as the Logical Basis for Spatio-Temporal Information Systems.	ICTAI	2005	DBLP DOI BibTeX RDF
19	Kathy Ryall, Qing Li 0062, Alan Esenther	Temporal Magic Lens: Combined Spatial and Temporal Query and Presentation.	INTERACT	2005	DBLP DOI BibTeX RDF
19	Paul Cotofrei, Kilian Stoffel	Temporal granular logic for temporal data mining.	GrC	2005	DBLP DOI BibTeX RDF
19	Linan Jiang, Betty Salzberg, David B. Lomet, Manuel Barrena García	The BTR-Tree: Path-Defined Version-Range Splitting in a Branched and Temporal Structure.	SSTD	2003	DBLP DOI BibTeX RDF
19	Mykola Lysetskiy, Andrzej Lozowski, Jacek M. Zurada	Temporal-to-spatial dynamic mapping, flexible recognition, and temporal correlations in an olfactory cortex model.	Biol. Cybern.	2002	DBLP DOI BibTeX RDF
19	Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar	The ForSpec Temporal Logic: A New Temporal Property-Specification Language.	TACAS	2002	DBLP DOI BibTeX RDF
19	Elena Camossi, Elisa Bertino, Giovanna Guerrini, Marco Mesiti	Evolution Specification of Multigranular Temporal Objects.	TIME	2002	DBLP DOI BibTeX RDF
19	Francesca Rossi 0001, Alessandro Sperduti, Lina Khatib, Paul H. Morris, Robert A. Morris 0001	Learning preferences on temporal constraints: a preliminary report.	TIME	2001	DBLP DOI BibTeX RDF
19	Ivan T. Bowman, David Toman 0001	Optimizing Temporal Queries: Efficient Handling of Duplicates.	TIME	2001	DBLP DOI BibTeX RDF
19	Vladimir Ryabov, Seppo Puuronen	Probabilistic Reasoning about Uncertain Relations between Temporal Points.	TIME	2001	DBLP DOI BibTeX RDF
19	Yingjiu Li, Peng Ning, Xiaoyang Sean Wang, Sushil Jajodia	Discovering Calendar-based Temporal Association Rules.	TIME	2001	DBLP DOI BibTeX RDF
19	Pengyu Hong, Thomas S. Huang	Learning to Extract Temporal Signal Patterns from Temporal Signal Sequence.	ICPR	2000	DBLP DOI BibTeX RDF
19	Luca Chittaro, Carlo Combi	Temporal Indeterminancy in Deductive Databases: An Approach Based on Event Calculus.	ARTDB	1997	DBLP DOI BibTeX RDF
19	Clare Dixon	Temporal Resolution: Removing Irrelevant Information.	TIME	1997	DBLP DOI BibTeX RDF
19	Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe	Temporal Reasoning with Fuzzy Time-Objects.	TIME	1997	DBLP DOI BibTeX RDF
19	Liang Xiang, Quan Yuan, Shiwan Zhao, Li Chen 0009, Xiatian Zhang, Qing Yang 0002, Jimeng Sun 0001	Temporal recommendation on graphs via long- and short-term preference fusion.	KDD	2010	DBLP DOI BibTeX RDF	temporal recommendation, graph, user preference
19	Mark Gabel, Zhendong Su 0001	Online inference and enforcement of temporal properties.	ICSE (1)	2010	DBLP DOI BibTeX RDF	online algorithm, dynamic analysis, temporal properties