2609 search results - page 297 / 522 » Models for Global Constraint Applications |
139
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
141
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
Actions in real world applications typically take place in cluttered environments with large variations in the orientation and scale of the actor. We present an approach to simult...
119
Voted
CSR
2007
Springer
15 years 10 months ago
2007
Springer
Consider a family of sets and a single set, called query set. How can one quickly find a member of the family which has a maximal intersection with the query set? Strict time cons...
125
Voted
SACMAT
2004
ACM
15 years 10 months ago
2004
ACM
Access control in enterprises is a key research area in the realm of Computer Security because of the unique needs of the target enterprise. As the enterprise typically has large ...
150
click to vote
FGR
2000
IEEE
15 years 9 months ago
2000
IEEE
Human motion capture has lately been the object of much attention due to commercial interests. A ”touch free” computer vision solution to the problem is desirable to avoid the...