611 search results - page 34 / 123 » Index Sets of Computable Structures with Decidable Theories |
CIE
2008
Springer
13 years 10 months ago
2008
Springer
Nested datatypes are families of datatypes that are indexed over all types and where the datatype constructors relate different members of the family. This may be used to represent...
ICPR
2002
IEEE
14 years 9 months ago
2002
IEEE
We present the theory behind a novel unsupervised method for discovering quasi-static objects, objects that are stationary during some interval of observation, within image sequen...
ICAI
2003
13 years 9 months ago
2003
In our research, we have developed an architecture and computational structure that allows for a generic team of robots to dynamically discern what their capabilities are and then...
EUROCOLT
1995
Springer
13 years 11 months ago
1995
Springer
Limiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (fr...
SIGIR
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...