9832 search results - page 1724 / 1967 » An Object Model for Multiprogramming |
145
click to vote
SG
2007
Springer
16 years 22 days ago
2007
Springer
Automatic lighting design aims to provide users with semi-automated approaches, and easy-to-use tools, to configure lighting for 3D scenes. We present LIGHTOPEX the first fully aut...
184
click to vote
TACAS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
202
click to vote
VAMOS
2007
Springer
16 years 22 days ago
2007
Springer
Aspect-oriented software development has recently emerged as a new paradigm for systematic modularization and representation of the crosscutting concern. Because the variability i...
158
click to vote
WDAG
2007
Springer
16 years 22 days ago
2007
Springer
A group of identical mobile agents moving asynchronously among the nodes of an anonymous network have to gather together in a single node of the graph. This problem known as the (a...
172
click to vote
3DPVT
2006
IEEE
16 years 21 days ago
2006
IEEE
Shape from silhouette methods are extensively used to model dynamic and non-rigid objects using binary foreground-background images. Since the problem of reconstructing shapes fro...