2728 search results - page 145 / 546 » Ideologies and Their Points of View |
193
click to vote
CSL
2001
Springer
15 years 11 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
162
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper addresses the following inspection problem: given a known workspace and a robot with vision capabilities compute a short path path for the robot such that each point on...
168
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper a new time-stepping method for simulating systems of rigid bodies is given. Unlike methods which take an instantaneous point of view, our method is based on impulse-m...
151
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Structure-from-motion (SfM) is an important computer vision problem and largely relies on the quality of feature tracking. In image sequences, if disjointed tracks caused...
147
click to vote
VLDB
1994
ACM
15 years 10 months ago
1994
ACM
This paper introduces a new data structure, called V-trees, designed to store long sequences of points in 2D space and yet allow efficient access to their fragments. They also opt...