7991 search results - page 427 / 1599 » Using More Reasoning to Improve |
290
click to vote
GIS
2009
ACM
16 years 8 months ago
2009
ACM
Geographic information retrieval encompasses important tasks including finding the location of a user, and locations relevant to their search queries. Web-based search engines rec...
180
click to vote
SIGPRO
2010
15 years 5 months ago
2010
: This paper presents a data compression method that can achieve a very large compression ratio for radar pulse trains that are to be used for time-difference-of-arrival/frequency-...
192
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
215
click to vote
JVM
2004
15 years 8 months ago
2004
Modern Java programs, such as middleware and application servers, include many complex software components. Improving the performance of these Java applications requires a better ...
190
click to vote
AAAI
2007
15 years 9 months ago
2007
This paper describes an e-Government AI project that provides a range of intelligent AI services to support automated assessment of various types of applications submitted to an i...