Sciweavers

1138 search results - page 18 / 228
» Talking about concerns
Sort
View
KI
1995
Springer
15 years 3 months ago
Integrating Vision and Language: Towards Automatic Description of Human Movements
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...
Gerd Herzog, Karl Rohr
INFOSCALE
2009
ACM
15 years 4 months ago
CAWA: Continuous Approximate Where-About Queries
With the current proliferation of wireless networks and mobile device technologies, the management of moving object databases to facilitate queries over these domains has been exte...
Alexander J. Aved, Kien A. Hua, Antoniya Petkova
FOSSACS
2000
Springer
15 years 3 months ago
A Program Refinement Framework Supporting Reasoning about Knowledge and Time
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
Kai Engelhardt, Ron van der Meyden, Yoram Moses
FLAIRS
2006
15 years 1 months ago
Reasoning about Knowledge and Continuity
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
Bernhard Heinemann
BNCOD
2003
139views Database» more  BNCOD 2003»
15 years 1 months ago
An Overview about the DynaQuest Framework
The DynaQuest-Framework should reduce the effort for the creation of Internet-based virtual databases. These virtual databases are a special kind of federated database systems whe...
Marco Grawunder