Sciweavers

7055 search results - page 233 / 1411
» Some New 4-Designs
Sort
View
172
Voted
ISCAS
2002
IEEE
116views Hardware» more  ISCAS 2002»
15 years 11 months ago
Antisymmetries in the realization of Boolean functions
New symmetries of degree two are introduced, along with spectral techniques for identifying these symmetries. Some applications of these symmetries are discussed, in particular th...
Jacqueline E. Rice, Jon C. Muzio
160
Voted
ICRA
2000
IEEE
120views Robotics» more  ICRA 2000»
15 years 11 months ago
An Algebraic Solution to the Problem of Collision Detection for Rigid Polyhedral Objects
This paper describes a new collision detection algorithm designed for interactive manipulation in virtual environments. Making some assumptions on objects motion, the collision ti...
Stephane Redon, Abderrahmane Kheddar, Sabine Coqui...
BIRTHDAY
2000
Springer
15 years 11 months ago
Compiler Construction - The Art of Niklaus Wirth
Niklaus Wirth is not only a master of language design but also a pioneer of compiler construction. For four decades he has refined his techniques for building simple, efficient an...
Hanspeter Mössenböck
ISMIS
1999
Springer
15 years 11 months ago
Improving Backtrack Search for SAT by Means of Redundancy
In this paper, a new heuristic that can be grafted to many of the most e cient branching strategies for Davis and Putnam procedures for SAT is described. This heuristic gives a hig...
Laure Brisoux, Éric Grégoire, Lakhda...
PKC
1999
Springer
211views Cryptology» more  PKC 1999»
15 years 11 months ago
Unknown Key-Share Attacks on the Station-to-Station (STS) Protocol
This paper presents some new unknown key-share attacks on STS-MAC, the version of the STS key agreement protocol which uses a MAC algorithm to provide key confirmation. Various me...
Simon Blake-Wilson, Alfred Menezes