Sciweavers

2293 search results - page 121 / 459
» Temporal Logic in Information Systems
Sort
View
ISMIS
1997
Springer
15 years 2 months ago
Knowledge-Based Image Retrieval with Spatial and Temporal Constructs
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
Wesley W. Chu, Alfonso F. Cardenas, Ricky K. Taira
EDBT
2010
ACM
144views Database» more  EDBT 2010»
15 years 1 months ago
Timely YAGO: harvesting, querying, and visualizing temporal knowledge from Wikipedia
Recent progress in information extraction has shown how to automatically build large ontologies from high-quality sources like Wikipedia. But knowledge evolves over time; facts ha...
Yafang Wang, Mingjie Zhu, Lizhen Qu, Marc Spaniol,...
ECCV
2010
Springer
14 years 7 months ago
Video Synchronization Using Temporal Signals from Epipolar Lines
Time synchronization of video sequences in a multi-camera system is necessary for successfully analyzing the acquired visual information. Even if synchronization is established, it...
Dmitry Pundik, Yael Moses
DALT
2009
Springer
15 years 1 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
ATAL
2008
Springer
14 years 12 months ago
Verifying Social Expectations by Model Checking Truncated Paths
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
Stephen Cranefield, Michael Winikoff