1898 search results - page 53 / 380 » Weak Keys for IDEA |
FMCAD
2000
Springer
14 years 9 days ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
IE
2007
13 years 10 months ago
2007
Extensive simulation of sensory perception for NPCs (Non Playing Characters) or bots in 3D games has been quite rare if not absent until recently. However, a few games have proven...
IMAGING
2004
13 years 10 months ago
2004
We investigate the hypothesis, recently published in Nature, that the human visual system may use some sort of luminance-redness correlation2 together with the scene average for i...
FOCS
2008
IEEE
13 years 9 months ago
2008
IEEE
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
TEC
2008
13 years 8 months ago
2008
Evolutionary Algorithms (EAs) are well-known optimization approaches to cope with non-linear, complex problems. These population-based algorithms, however, suffer from a general we...