Sciweavers

7340 search results - page 240 / 1468
» The Behavior of Tutoring Systems
Sort
View
AAAI
2006
15 years 8 months ago
Building Explainable Artificial Intelligence Systems
As artificial intelligence (AI) systems and behavior models in military simulations become increasingly complex, it has been difficult for users to understand the activities of co...
Mark G. Core, H. Chad Lane, Michael van Lent, Dave...
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
16 years 1 months ago
Stability of Zeno equilibria in Lagrangian hybrid systems
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
Yizhar Or, Aaron D. Ames
ICRA
2007
IEEE
124views Robotics» more  ICRA 2007»
16 years 25 days ago
Monitoring of a Class of Timed Discrete Events Systems
— This paper extends the notion of residuals for fault detection, well known in the continuous system to the timed discrete events systems. The aim is to design the fault indicat...
Adib Allahham, Hassane Alla
DATE
2002
IEEE
75views Hardware» more  DATE 2002»
15 years 11 months ago
System Design for Flexibility
With the term flexibility, we introduce a new design dimension of an embedded system that quantitatively characterizes its feasibility in implementing not only one, but possibly ...
Christian Haubelt, Jürgen Teich, Kai Richter,...
BIRTHDAY
2006
Springer
15 years 10 months ago
Ensuring Properties of Interaction Systems
Abstract. We propose results ensuring properties of a component-based system from properties of its interaction model and of its components. We consider here deadlock-freedom and l...
Gregor Gößler, Susanne Graf, Mila E. Ma...