Sciweavers

504 search results - page 29 / 101
» Observational Logic
Sort
View
ICCAD
2003
IEEE
135views Hardware» more  ICCAD 2003»
14 years 2 months ago
ATPG for Noise-Induced Switch Failures in Domino Logic
Domino circuits have been used in most modern high-performance microprocessor designs because of their high speed, low transistor-count and hazard-free operation. However, with te...
Rahul Kundu, R. D. (Shawn) Blanton
ECSQARU
1999
Springer
14 years 1 months ago
Anchoring Symbols to Vision Data by Fuzzy Logic
Intelligent agents embedded in physical environments need ity to connect, or anchor, the symbols used to perform abstract reasoning to the physical entities which these symbols ref...
Silvia Coradeschi, Alessandro Saffiotti
HICSS
1996
IEEE
102views Biometrics» more  HICSS 1996»
14 years 28 days ago
Evaluation of Parallel Logic Simulation Using DVSIM
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...
Gerd Meister
AAAI
1998
13 years 10 months ago
Two Forms of Dependence in Propositional Logic: Controllability and Definability
We investigate two forms of dependence between variables and/or formulas within a propositional knowledge base: controllability (a set of variables X controls a formula , if there...
Jérôme Lang, Pierre Marquis
AIPS
2006
13 years 10 months ago
On Some Tractable Cases of Logical Filtering
Filtering denotes any method whereby an agent updates its belief state--its knowledge of the state of the world--from a sequence of actions and observations. In logical filtering,...
T. K. Satish Kumar, Stuart J. Russell