266 search results - page 46 / 54 » Vector instruction set support for conditional operations |
CAV
1999
Springer
15 years 3 months ago
1999
Springer
BDDs and their algorithms implement a decision procedure for Quanti ed Propositional Logic. BDDs are a kind of acyclic automata. Unrestricted automata (recognizing unbounded string...
BMCBI
2006
14 years 11 months ago
2006
Background: Anatomical studies of neural circuitry describing the basic wiring diagram of the brain produce intrinsically spatial, highly complex data of great value to the neuros...
91
Voted
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We assess the applicability of several popular learning methods for the problem of recognizing generic visual categories with invariance to pose, lighting, and surrounding clutter...
IJDAR
2010
14 years 9 months ago
2010
The set of references that typically appear toward the end of journal articles is sometimes, though not always, a field in bibliographic (citation) databases. But even if referenc...
CIS
2004
Springer
15 years 4 months ago
2004
Springer
There are a lot of very important data in database, which need to be protected from attacking. Cryptographic support is an important mechanism of securing them. People, however, mu...