4390 search results - page 604 / 878 » Part Objects and their Location |
201
click to vote
SPIN
2000
Springer
15 years 11 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
202
click to vote
ICCV
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper presents a topologically adaptable snakes model for image segmentation and object representation. The model is embedded in the framework of domain subdivision using sim...
214
click to vote
WDAG
1995
Springer
15 years 11 months ago
1995
Springer
Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and ...
189
Voted
CAE
2007
15 years 9 months ago
2007
Ambient occlusion is a powerful technique that mimics indirect global illumination at a fraction of the cost. In this paper, we introduce a new ambient occlusion technique based o...
218
Voted
ICIA
2007
15 years 9 months ago
2007
In a conversational system, determining a user’s focus of attention is crucial to the success of the system. Motivated by previous psycholinguistic findings, we are currently e...