1867 search results - page 14 / 374 » Model-Checking Based Data Retrieval |
EDOC
2004
IEEE
14 years 1 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
A system for retrieving video captured in a ubiquitous environment is presented. Data from pressure-based floor sensors are obtained as a supplementary input together with video f...
GIR
2006
ACM
14 years 3 months ago
2006
ACM
Local search has become a hot topic recently in information retrieval research area. How to retrieve geographical information correctly and efficiently is a key challenge to locat...
GEOS
2005
Springer
14 years 3 months ago
2005
Springer
This paper analyses reported difficulties in spatial data retrieval from Internet portals, based on results from an empirical survey. The analysis reveals the problems which cause ...
ANLP
1992
13 years 11 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...