248 search results - page 7 / 50 » Sublocales in formal topology |
ICCV
2011
IEEE
12 years 7 months ago
2011
IEEE
Local photometric descriptors are a crucial low level component of numerous computer vision algorithms. In practice, these descriptors are constructed to be invariant to a class o...
JAIR
2002
13 years 7 months ago
2002
Hidden Markov models hmms and partially observable Markov decision processes pomdps provide useful tools for modeling dynamical systems. They are particularly useful for represent...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
Movement patterns of individual entities at the geographic scale are becoming a prominent research focus in spatial sciences. One pertinent question is how cognitive and formal cha...
IRI
2003
IEEE
14 years 22 days ago
2003
IEEE
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
KR
2010
Springer
14 years 7 days ago
2010
Springer
In constraint or preference reasoning, a typical task is to compute a solution, or an optimal solution. However, when one has already a solution, it may be important to produce th...