598 search results - page 65 / 120 » Stably compact spaces |
147
click to vote
LICS
2007
IEEE
16 years 17 days ago
2007
IEEE
We introduce a computable framework for Lebesgue’s measure and integration theory in the spirit of domain theory. For an effectively given second countable locally compact Hausd...
179
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a new approach to model visual scenes in image collections, based on local invariant features and probabilistic latent space models. Our formulation provides answers to...
173
click to vote
TROB
2002
15 years 5 months ago
2002
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
206
click to vote
IJRR
2011
15 years 1 months ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
181
click to vote
EACL
2009
ACL Anthology
16 years 6 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...