3134 search results - page 340 / 627 » Computing full disjunctions |
109
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present a markerless real-time, model-based 3D face tracking methodology. The system combines two robust and complimentary optimization-based strategies, namely active...
115
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Recent research in answer-set programming (ASP) is concerned with the problem of finding faithful transformations of logic programs under the stable semantics. This is in particul...
91
Voted
SACRYPT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Side-channel collision attacks were proposed in [1] and applied to AES in [2]. These are based on detecting collisions in certain positions of the internal state after th...
91
Voted
SAT
2007
Springer
15 years 7 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
129
click to vote
BROADNETS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper presents AMCM, a traffic-adaptive multichannel MAC protocol that increases the capacity of wireless network by enabling multiple concurrent transmissions on orthogonal...