5619 search results - page 889 / 1124 » A Region Inference Algorithm |
117
Voted
LICS
1989
IEEE
15 years 6 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
109
Voted
CSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—Context, the pieces of information that capture the characteristics of ubiquitous computing environment, is often imprecise and incomplete due to user mobility, unreliable wirel...
142
Voted
SGP
2007
15 years 5 months ago
2007
In this paper, we describe a system for the reconstruction of deforming geometry from a time sequence of unstructured, noisy point clouds, as produced by recent real-time range sc...
140
Voted
ACCV
2010
Springer
15 years 5 months ago
2010
Springer
Automatic processing of video data is essential in order to allow efficient access to large amounts of video content, a crucial point in such applications as video mining and surve...
121
Voted
AAAI
2007
15 years 5 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...