331 search results - page 48 / 67 » New Results on the Pseudorandomness of Some Blockcipher Cons... |
JAR
2000
13 years 7 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
CC
1998
Springer
13 years 7 months ago
1998
Springer
We introduce the natural class SP 2 containing those languages which may be expressed in terms of two symmetric quanti ers. This class lies between P 2 and P 2 P 2 and naturall...
ICPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Existing methods of gait recognition suffer from some shortcomings, which are discussed at the beginning of the full paper. In order to suppress these shortcomings as much as poss...
DAC
2004
ACM
14 years 8 months ago
2004
ACM
Instances of the Boolean satisfiability problem (SAT) arise in many areas of circuit design and verification. These instances are typically constructed from some human-designed ar...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
A touchscreen can be overlaid on a tablet computer to support asymmetric two-handed interaction in which the non-preferred hand operates the touchscreen and the preferred hand use...