Sciweavers

17054 search results - page 246 / 3411
» Logics of Dynamical Systems
Sort
View
DAC
2000
ACM
16 years 8 months ago
Dynamic noise analysis in precharge-evaluate circuits
A dynamic noise model is developed and applied to analyze the noise immunity of precharge-evaluate circuits. Considering that the primary source of noise-injection in the circuit ...
Dinesh Somasekhar, Seung Hoon Choi, Kaushik Roy, Y...
IGPL
2010
110views more  IGPL 2010»
15 years 5 months ago
Capturing dynamic conceptual frames
: The main focus of this paper is to develop an adaptive formal apparatus capable of capturing (certain types of) reasoning conducted within the framework of the so-called dynamic ...
Rafal Urbaniak
KR
1992
Springer
15 years 11 months ago
Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation
While it has been realized for quite some time within AI that abduction is a general model of explanation for a variety of tasks, there have been no empirical investigations into ...
Hwee Tou Ng, Raymond J. Mooney
DALT
2009
Springer
15 years 10 months ago
Prioritized Goals and Subgoals in a Logical Account of Goal Change - A Preliminary Report
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
Shakil M. Khan, Yves Lespérance
AAAI
2000
15 years 8 months ago
A Logic for Planning under Partial Observability
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Andreas Herzig, Jérôme Lang, Dominiqu...