1631 search results - page 248 / 327 » Observing Functional Logic Computations |
CONCUR
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) i...
CVPR
2007
IEEE
15 years 1 months ago
2007
IEEE
This paper presents a new shape registration algorithm that establishes "meaningful correspondence" between objects, in that it preserves the local shape correspondence ...
105
click to vote
ICDCS
2007
IEEE
15 years 1 months ago
2007
IEEE
On-line decision making often involves query processing over time-varying data which arrives in the form of data streams from distributed locations. In such environments typically...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
Atheoreticalframeworkisintroducedfortheperceptionofspecularsurfacegeometry.Whenanobserver moves in three-dimensional space, real scene features such as surface markings remain stat...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--This paper proposes a method for estimating extrinsic camera parameters using video images and position data acquired by GPS. In conventional methods, the accuracy of the...