1738 search results - page 181 / 348 » Local Consistency and SAT-Solvers |
150
click to vote
ICPR
2002
IEEE
15 years 10 months ago
2002
IEEE
A medial surface representation of a grey-level volume image is computed. The foreground is reduced to a subset topologically equivalent to the initial foreground and mainly consi...
142
click to vote
GI
2001
Springer
15 years 10 months ago
2001
Springer
The “Object Constraint Language” (OCL) offers a formal notation for constraining model elements in UML diagrams. OCL consists of a navigational expression language which, for ...
148
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
User interfaces (Uis) for client-server-and Web-based products and services must enable users around the world to access complex data and functions. Solutions to successful user-i...
149
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
We describe in this paper potential problems that may appear in image-based visual servoing when the initial camera position is far away from its desired position. We show by conc...
166
click to vote
PARELEC
2000
IEEE
15 years 10 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...