6020 search results - page 1062 / 1204 » A New Approach to Model Counting |
160
click to vote
SIGSOFT
2006
ACM
16 years 6 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...
146
click to vote
VRCAI
2006
ACM
16 years 6 days ago
2006
ACM
We present novel algorithms for updating bounding volume hierarchies of objects undergoing arbitrary deformations. Therefore, we introduce two new data structures, the kinetic AAB...
187
click to vote
ICPR
2010
IEEE
15 years 12 months ago
2010
IEEE
Road sign identification in images is an important issue, in particular for vehicle safety applications. It is usually tackled in three stages: detection, recognition and trackin...
155
click to vote
AINA
2005
IEEE
15 years 12 months ago
2005
IEEE
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
210
click to vote
CVPR
2005
IEEE
15 years 12 months ago
2005
IEEE
Advances in computer processing power and emerging algorithms are allowing new ways of envisioning Human Computer Interaction. This paper focuses on the development of a computing...