4617 search results - page 658 / 924 » Automation of Diagrammatic Reasoning |
194
click to vote
AUSAI
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
179
click to vote
ISSS
1995
IEEE
15 years 11 months ago
1995
IEEE
Systems composed of microprocessors interacting with ASICs are necessarily multiple-process systems, since the controller in the microprocessor is separate from any controllers on...
204
click to vote
ECEH
2006
15 years 8 months ago
2006
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
209
click to vote
AAAI
2000
15 years 8 months ago
2000
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
174
click to vote
MVA
1994
15 years 8 months ago
1994
The visual perceptional ability of computer systems to understand the environment is desirable in engineering design and manufacturing where automation is anticipated. I n order t...