10159 search results - page 1705 / 2032 » System Design Validation Using Formal Models |
212
click to vote
CLIMA
2004
15 years 8 months ago
2004
The aim of this work is the design of a framework for the revision of knowledge in abductive reasoning agents, based on interaction. We address issues such as: how to exploit knowl...
150
click to vote
CEAS
2005
Springer
16 years 8 days ago
2005
Springer
Implicit query systems examine a document and automatically conduct searches for the most relevant information. In this paper, we offer three contributions to implicit query resea...
137
click to vote
SIGCSE
2004
ACM
16 years 5 days ago
2004
ACM
There are a wide variety of ways to present information at the front of a classroom. These include chalk on a blackboard, markers on a whiteboard, pens on transparencies, and comp...
198
click to vote
WACV
2005
IEEE
16 years 9 days ago
2005
IEEE
The paper describes a video tracking system that tracks and analyzes the behavioral pattern of users in a public space. We have obtained important statistical measurements about u...
219
click to vote
VLDB
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we address the problem of designing a scalable, accurate query processor for peerto-peer filesharing and similar distributed keyword search systems. Using a global...