508 search results - page 19 / 102 » A logical account of pspace |
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
KR
2004
Springer
14 years 27 days ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
DATE
2003
IEEE
14 years 25 days ago
2003
IEEE
A new crosstalk noise model is proposed for DOMINO logic gates. Our noise model takes the effect of keeper into account and provides more accurate noise measure.
ISMVL
2000
IEEE
13 years 12 months ago
2000
IEEE
— This paper analyses the propagation operations of signal’s multiple-valued behavior while passing through the basic gates. Based on it the propagation algorithm of behavior p...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...