3333 search results - page 424 / 667 » Abstract Proof Search |
133
click to vote
EUROPLOP
2006
15 years 8 months ago
2006
We present a set of methods to enable a cross-domain reuse of problem solutions via analysis patterns. First, problem-context descriptions and problemcontext models as well as sol...
175
click to vote
ALENEX
2001
15 years 8 months ago
2001
Abstract. Search engines often employ techniques for determining syntactic similarity of Web pages. Such a tool allows them to avoid returning multiple copies of essentially the sa...
154
click to vote
AIPS
2003
15 years 8 months ago
2003
We develop a hierarchical approach to planning for partially observable Markov decision processes (POMDPs) in which a policy is represented as a hierarchical finite-state control...
172
click to vote
HIS
2003
15 years 8 months ago
2003
Abstract. Categorization is a central task in cognitive science and artificial intelligence. Efficient reasoning about categories is becoming of great importance as intelligent a...
148
click to vote
SCANGIS
2003
15 years 8 months ago
2003
Abstract. This paper discusses concurrency control in distributed geographical database systems. A geographic data server providing transactional services must be designed to handl...