5639 search results - page 886 / 1128 » Timed Abstract Non-interference |
121
click to vote
AMAST
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
175
click to vote
AMDO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We propose a hierarchical process for inferring the 3D pose of a person from monocular images. First we infer a learned view-based 2D body model from a single image using...
141
click to vote
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
Abstract-- Despite the limited power available in a batteryoperated hand-held device, a display system must still have an enough resolution and sufficient color depth to deliver th...
118
Voted
AMDO
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
124
click to vote
ASYNC
2004
IEEE
15 years 7 months ago
2004
IEEE
This paper presents a decomposition method for speedindependent circuit design that is capable of significantly reducing the cost of synthesis. In particular, this method synthesi...