1306 search results - page 15 / 262 » A Diagrammatic Approach to Model Completion |
106
click to vote
IROS
2008
IEEE
15 years 6 months ago
2008
IEEE
— This article addresses the problem of autonomous map building and exploration of an unknown environment with mobile robots. The proposed method assumes that mobile robots use o...
129
click to vote
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
We present a new approach to robustly solve photometric stereo problems. We cast the problem of recovering surface normals from multiple lighting conditions as a problem of recover...
112
click to vote
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
The Object Constraint Language (OCL) is part of the Unified Modeling Language (UML) to specify restrictions on values of a given UML model. As part of the UML 2.0 standardization ...
120
click to vote
DBSEC
2006
15 years 1 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
103
click to vote
HPCA
2006
IEEE
16 years 22 days ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...