741 search results - page 36 / 149 » A Local System for Classical Logic |
DAC
2005
ACM
13 years 9 months ago
2005
ACM
Logic soft errors are radiation induced transient errors in sequential elements (flip-flops and latches) and combinational logic. Robust enterprise platforms in sub-65nm technolog...
ENTCS
2008
13 years 7 months ago
2008
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
ICIP
1994
IEEE
14 years 9 months ago
1994
IEEE
Classical models for motion detection with artificial neural networks are inspired in physiological data of simple visual systems. Local speed estimationis a problem that involves...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— We present a robot localization system using biologically-inspired vision. Our system models two extensively studied human visual capabilities: (1) extracting the “gist” of...