4502 search results - page 332 / 901 » Regular Model Checking |
268
Voted
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Abstract: This paper proposes a novel approach to nonrigid, markerless motion capture from synchronized video streams acquired by calibrated cameras. The instantaneous geometry of ...
164
click to vote
SMA
1997
ACM
15 years 11 months ago
1997
ACM
Much of recent research in representation schemes for solid modeling was focused on the extension of boundary representations to support non-manifold topologies. We introduce here...
194
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Bounded model checking (BMC) based on satisfiability testing (SAT) has been introduced as a complementary technique to BDDbased symbolic model checking of LTL properties ...
187
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We present a novel approach to reconstruction based superresolution that explicitly models the detector's pixel layout. Pixels in our model can vary in shape and size, and th...
174
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Temporal classification, such as activity recognition, is a key component for creating intelligent robot systems. In the case of robots, classification algorithms mus...