1055 search results - page 27 / 211 » Enumerations in computable structure theory |
ECCV
2004
Springer
14 years 3 months ago
2004
Springer
—Cast shadows can be significant in many computer vision applications, such as lighting-insensitive recognition and surface reconstruction. Nevertheless, most algorithms neglect ...
ICALP
2007
Springer
14 years 4 months ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
APAL
2010
13 years 10 months ago
2010
Computability theory concerns information with a causal
ICRA
1999
IEEE
14 years 2 months ago
1999
IEEE
There has been an increasing interest in developing computational theories of autonomous robots. However the previous work has focused on intelligent modifications to internal com...
ACL
1998
13 years 11 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...