1941 search results - page 310 / 389 » Reasoning about Computations Using Two-Levels of Logic |
133
click to vote
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
This paper deals with the error analysis of a novel navigation algorithm that uses as input the sequence of images acquired from a moving camera and a Digital Terrain (or Elevatio...
125
click to vote
MUE
2008
IEEE
15 years 9 months ago
2008
IEEE
The route guidance system, which provides driving advice based on traffic information about an origin and a destination, has become very popular along with the advancement of hand...
142
click to vote
CA
2002
IEEE
15 years 8 months ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
148
click to vote
EMMCVPR
2001
Springer
15 years 8 months ago
2001
Springer
To segregate overlapping objects into depth layers requires the integration of local occlusion cues distributed over the entire image into a global percept. We propose to model thi...
137
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...