455 search results - page 50 / 91 » A Logical Account of NGSCB |
ICCAD
1997
IEEE
13 years 11 months ago
1997
IEEE
We describe a highly accurate but e cient fault simulator for interconnect opens, based on characterizing the standard cell library with SPICE; using transistor charge equations f...
ISLPED
1996
ACM
13 years 11 months ago
1996
ACM
We present a new gate-level approach to current simulation. We use a symbolic model of current pulses that takes accurately into account the dependence on the switching conditions...
AMAST
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents a new rule for reasoning about method calls in object-oriented programs. It is an adaptation of Hoare's rule of adaptation to the object-oriented paradigm,...
AAAI
1997
13 years 9 months ago
1997
This paper presents a logical account of sensor data assimilation in a mobile robot, based on abduction. Unlike previous work, the present formulation handles sensor noise as well...
AAAI
1996
13 years 9 months ago
1996
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot's limited window on the world, and uncertain, due t...