4502 search results - page 702 / 901 » Regular Model Checking |
163
Voted
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
We show that, from the output of a simple 3D human pose tracker one can infer physical attributes (e.g., gender and weight) and aspects of mental state (e.g., happiness or sadness)...
143
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
160
click to vote
CODES
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper discusses the trade-off between calculations and memory accesses in a 3D graphics tile renderer for visualization of data from medical scanners. The performance require...
170
click to vote
ICPP
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper a sufficient condition is given for minimal routing in n-dimensional (n-D) meshes with faulty nodes contained in a set of disjoint fault regions. It is based on an ...
169
click to vote
CGI
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we present an indirect volume visualization method, based on the deformable surface model, which is a three dimensional extension of the snake segmentation method. I...