3820 search results - page 535 / 764 » Bounded Model Debugging |
143
click to vote
FOCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Spin systems are a general way to describe local interactions between nodes in a graph. In statistical mechanics, spin systems are often used as a model for physical systems. In c...
127
click to vote
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— We address the problem of energy efficient sensing by adaptively coordinating the sleep schedules of sensor nodes while guaranteeing that values of sleeping nodes can be recov...
118
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
Many recent studies perform annotation of paintings based on brushwork. In these studies the brushwork is modeled indirectly as part of the annotation of high-level artistic conce...
136
click to vote
SI3D
2006
ACM
15 years 9 months ago
2006
ACM
We present an interactive algorithm to compute discretized 3D Euclidean distance fields. Given a set of piecewise linear geometric primitives, our algorithm computes the distance...
142
click to vote
ASIASIM
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents an efficient self-collision detection algorithm for deformable body simulation using programmable graphics processing units (GPUs). The proposed approach store...