1350 search results - page 140 / 270 » Reasoning about Staged Computation |
167
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
157
click to vote
IPSN
2007
Springer
15 years 11 months ago
2007
Springer
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
156
click to vote
ICCV
2009
IEEE
16 years 10 months ago
2009
IEEE
High-level, or holistic, scene understanding involves
reasoning about objects, regions, and the 3D relationships
between them. This requires a representation above the
level of ...
142
click to vote
CVPR
2001
IEEE
16 years 7 months ago
2001
IEEE
While stereo matching was originally formulated as the recovery of 3D shape from a pair of images, it is now generally recognized that using more than two images can dramatically ...
140
click to vote
FOSSACS
2010
Springer
16 years 21 hour ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...