1249 search results - page 233 / 250 » Limitations of the Even-Mansour Construction |
DL
1998
Springer
14 years 25 days ago
1998
Springer
We present CiteSeer: an autonomous citation indexing system which indexes academic literature in electronic format (e.g. Postscript files on the Web). CiteSeer understands how to ...
STOC
1997
ACM
14 years 23 days ago
1997
ACM
For a large class of examples arising in statistical physics known as attractive spin systems (e.g., the Ising model), one seeks to sample from a probability distribution π on an...
FGR
1996
IEEE
14 years 23 days ago
1996
IEEE
In this paper we rst describe how we have constructed a 3D deformable Point Distribution Model of the human hand, capturing training data semi-automatically from volume images via...
WADS
1997
Springer
14 years 22 days ago
1997
Springer
We consider the problem of removing a given disk from a collection of unit disks in the plane. At each step, we allow a disk to be removed by a collision-free translation to infin...
TACS
1994
Springer
14 years 20 days ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...