794 search results - page 96 / 159 » Framework for a XML-based search system |
GIS
2003
ACM
14 years 10 months ago
2003
ACM
Nearest neighbor query is one of the most important operations in spatial databases and their application domains, e.g., locationbased services, advanced traveler information syst...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Planning in single-agent models like MDPs and POMDPs can be carried out by resorting to Q-value functions: a (near-) optimal Q-value function is computed in a recursive manner by ...
HT
2005
ACM
14 years 2 months ago
2005
ACM
In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular userâ...
HIPEAC
2005
Springer
14 years 2 months ago
2005
Springer
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
LICS
1989
IEEE
14 years 18 days ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...