635 search results - page 35 / 127 » Four states are enough! |
CVIU
2006
13 years 7 months ago
2006
This paper describes how a visual system can automatically define features of interest from the observation of a large enough number of natural images. The principle complements t...
JAR
2008
13 years 7 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
NECO
2010
13 years 6 months ago
2010
Neurons in the nervous system display a wide variety of plasticity processes. Among them are covariance based rules and homeostatic plasticity. By themselves, the first ones tend...
ECEASST
2010
13 years 2 months ago
2010
The ever-growing use of modeling languages today is largely due to a maturation of model-based development technologies. However, there is enough room for improving language specif...
SP
2009
IEEE
14 years 2 months ago
2009
IEEE
The Mifare Classic is the most widely used contactless smartcard on the market. The stream cipher CRYPTO1 used by the Classic has recently been reverse engineered and serious atta...