3341 search results - page 587 / 669 » On Bounded Queries and Approximation |
156
click to vote
TIME
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
167
click to vote
COCO
2005
Springer
16 years 9 days ago
2005
Springer
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
178
click to vote
SIGECOM
2004
ACM
16 years 5 days ago
2004
ACM
In many market settings, agents do not know their preferences a priori. Instead, they may have to solve computationally complex optimization problems, query databases, or perform ...
160
Voted
VRCAI
2004
ACM
16 years 5 days ago
2004
ACM
Collision detection is required by most virtual reality (VR) applications, and in recent years, collision detection algorithms utilizing graphics hardware capabilities have been a...
192
click to vote
VRST
2004
ACM
16 years 5 days ago
2004
ACM
In this paper we present an interactive collision detection algorithm for complex and deformable objects. For two target models, our approach rapidly calculates their region of in...