979 search results - page 83 / 196 » Footprints in Local Reasoning |
LICS
1995
IEEE
13 years 11 months ago
1995
IEEE
We prove that tree isomorphism is not expressible in the language (FO + TC + COUNT). This is surprising since in the presence of ordering the language captures NL, whereas tree is...
GIS
2002
ACM
13 years 7 months ago
2002
ACM
Despite the recognition of cellular automata (CA) as a exible and powerful tool for urban growth simulation, the calibration of CA had been largely heuristic until recent eVorts to...
GIS
2010
ACM
13 years 6 months ago
2010
ACM
We describe and demonstrate CBGIR, a web-based system for performing content-based image retrieval in large sets of high-resolution overhead images. The system provides a familiar...
ICLP
2011
Springer
12 years 11 months ago
2011
Springer
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
ISRR
2005
Springer
14 years 1 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...