2123 search results - page 379 / 425 » Composition of Cyber-Physical Systems |
ICRA
2000
IEEE
14 years 3 months ago
2000
IEEE
The need to register data is abundant in applications such as: world modeling, part inspection and manufacturing, object recognition, pose estimation, robotic navigation, and reve...
SAC
2000
ACM
14 years 3 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...
IV
1999
IEEE
14 years 3 months ago
1999
IEEE
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
EUROCRYPT
1999
Springer
14 years 3 months ago
1999
Springer
In one proposed use of digital watermarks, the owner of a document D sells slightly different documents, D1 , D2 , . . . to each buyer; if a buyer posts his/her document Di to the...
CAV
1998
Springer
14 years 3 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...