1585 search results - page 254 / 317 » A framework for computer-aided validation |
102
click to vote
AAAI
2000
15 years 4 months ago
2000
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...
132
click to vote
AAAI
2000
15 years 4 months ago
2000
The Facial Action Coding System (FACS) is an objective method for quantifying facial movement in terms of 44 component actions, i.e. Action Units (AUs). This system is widely used...
125
click to vote
FTCS
1998
15 years 4 months ago
1998
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
127
click to vote
IM
1997
15 years 4 months ago
1997
In this paper we present the initial specification of a system that covers both the control and management planes of network operation, with emphasis on fault, performance, and co...
103
click to vote
AAAI
1994
15 years 4 months ago
1994
Derivation replay was first proposed by Carbonell as a method of transferring guidancefrom a previousproblemsolving episode to a new one. Subsequent implementations have used stat...