1047 search results - page 192 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
AAAI
2004
13 years 9 months ago
2004
This paper introduces a hierarchical Markov model that can learn and infer a user's daily movements through the commue model uses multiple levels of abstraction in order to b...
IC
2004
13 years 9 months ago
2004
Abstract-- The Web Services infrastructure is a distributed computing environment for service-sharing. In this environment, resource discovery is required as a primitive functional...
GG
2010
Springer
13 years 8 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
SIGOPS
2008
13 years 7 months ago
2008
Object based storage devices (OSDs) elevate the level of abstraction presented to clients, thereby permitting them to offer methods for managing, sharing, and securing information...
AIM
2004
13 years 7 months ago
2004
Reasoning about spatial data is a key task in many applications, including geographic information systems, meteorological and fluid flow analysis, computer-aided design, and prote...