272 search results - page 29 / 55 » Design and Performance of Asynchronous Method Handling for C... |
157
Voted
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
We present a novel framework for recognizing repetitive
sequential events performed by human actors with strong
temporal dependencies and potential parallel overlap. Our
solutio...
118
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Linear Pseudo-Boolean Optimization (PBO) is a widely used modeling framework in Electronic Design Automation (EDA). Due to significant advances in Boolean Satisfiability (SAT), ...
140
Voted
PLILP
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
136
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
The aim of this paper is to deal with multi-physics simulation of micro-electro-mechanical systems (MEMS) based on an advanced numerical methodology. MEMS are very small devices i...
101
Voted
ARITH
1993
IEEE
15 years 7 months ago
1993
IEEE
We detail and analyse the critical techniques which may be combined in the design of fast hardware for RSA cryptography: chinese remainders, star chains, Hensel's odd divisio...