3954 search results - page 638 / 791 » Image-based Model Completion |
133
click to vote
ACMICEC
2006
ACM
15 years 7 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
123
Voted
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
143
click to vote
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
149
Voted
CRV
2004
IEEE
15 years 7 months ago
2004
IEEE
- This paper presents a global method to process monocular image sequences for mobile robot obstacle detection. We do not aim to achieve a complete scene reconstruction, but only t...
125
click to vote
CAAN
2006
Springer
15 years 7 months ago
2006
Springer
Gossiping is a communication primitive where each node of a network possesses a unique message that is to be communicated to all other nodes in the network. We study the gossiping ...