588 search results - page 72 / 118 » Differential Logic for Reasoning About Hybrid Systems |
EHCI
2001
15 years 3 months ago
2001
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
122
click to vote
DAGSTUHL
2008
15 years 3 months ago
2008
The construction of computational cognitive models integrating the connectionist and symbolic paradigms of artificial intelligence is a standing research issue in the field. The co...
149
Voted
KI
1998
Springer
15 years 6 months ago
1998
Springer
The control of mobile robots acting autonomously in the real world is one of the long-term goals of the field of artificial intelligence. So far the field lacks methods bridging th...
129
Voted
IEEEHPCS
2010
15 years 12 days ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
113
Voted
DIMACS
1996
15 years 3 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...