1631 search results - page 9 / 327 » Observing Functional Logic Computations |
114
Voted
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
The system of Peirce’s existential graphs is a diagrammatic version of first order logic. To be more precisely: As Peirce wanted to develop a logic of relatives (i.e., relations...
109
click to vote
GLVLSI
2007
IEEE
15 years 6 months ago
2007
IEEE
Reliability modeling and evaluation is expected to be one of the major issues in emerging nano-devices and beyond 22nm CMOS. Such devices would have inherent propensity for gate f...
122
Voted
ICIP
2010
IEEE
15 years 17 days ago
2010
IEEE
We consider the problem of distributed classification of multiple observations of the same object that are collected in an ad-hoc network of vision sensors. Assuming that each sen...
123
Voted
TCAD
1998
15 years 2 months ago
1998
—Conventional scan design imposes considerable area and delay overheads. To establish a scan chain in the test mode, multiplexers at the inputs of flip-flops and scan wires are...
109
click to vote
WOLLIC
2009
Springer
15 years 9 months ago
2009
Springer
Team logic is a new logic, introduced by Väänänen [11], extending dependence logic by classical negation. Dependence logic adds to first-order logic atomic formulas expressing...