3954 search results - page 125 / 791 » Image-based Model Completion |
130
Voted
ICRA
1993
IEEE
15 years 9 months ago
1993
IEEE
This paper addresses the problem of numerically finding an optimal path for a robot with non-holonomic constraints. A car like robot, whose turning radius is lower bounded is cons...
164
click to vote
CSL
2006
Springer
15 years 8 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
150
click to vote
MVA
1990
15 years 6 months ago
1990
We describe a method based on the Hough transform to compute a set of parameters that completely describe line segments. By complete, we mean the description includes the endpoint...
113
click to vote
LOGCOM
2006
15 years 5 months ago
2006
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
131
Voted
FUIN
2007
15 years 5 months ago
2007
In the paper triangular graphs are discussed. The class of triangular graphs is of special interest as unifying basic features of complete graphs with trees and being used on many ...