1333 search results - page 207 / 267 » Termination Detection of Local Computations |
152
click to vote
RTSS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
133
click to vote
DAGM
2001
Springer
15 years 8 months ago
2001
Springer
We describe an Augmented Reality system using the corners of a color cube for camera calibration. In the augmented image the cube is replaced by a computer generated virtual object...
141
click to vote
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper discusses a novel approach to combining human and machine intelligence in teleoperation of 6 degree of freedom (DOF) arm manipulators. Two algorithms are presented that...
133
Voted
DAS
1998
Springer
15 years 8 months ago
1998
Springer
Numerous approaches, including textual, structural and featural, to detecting duplicate documents have been investigated. Considering document images are usually stored and transm...
137
click to vote
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
In a peer-to-peer inference system, there is no centralized control or hierarchical organization: each peer is equivalent in functionality and cooperates with other peers in order...