3954 search results - page 148 / 791 » Image-based Model Completion |
141
click to vote
ISPW
2009
IEEE
16 years 25 days ago
2009
IEEE
It is usual for work completed at one point in a software development process to be revisited, or reworked, at a later point. Such rework is informally understood, but if we hope t...
160
click to vote
IEEEIAS
2008
IEEE
16 years 18 days ago
2008
IEEE
In this paper, we present the Dynamic Injection Model (DIM) and its variant the Static Injection Model (SIM). DIM is a model that allows any iterative block cipher to accept a var...
172
click to vote
ICRA
2006
IEEE
16 years 7 days ago
2006
IEEE
Abstract— Robots need to track object. Object tracking efficiency completely depends on the accuracy of the motion model and of the sensory information. Interestingly, when mult...
166
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
193
click to vote
OZCHI
2009
ACM
15 years 11 months ago
2009
ACM
The design of Tangible Interfaces has already evolved since the first projects were developed. Frameworks and taxonomies have helped to understand the field of Tangible Interactio...