4460 search results - page 453 / 892 » Formal methods for interactive systems |
171
Voted
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...
207
click to vote
ICTAI
2010
IEEE
15 years 4 months ago
2010
IEEE
A conversational recommender system iteratively shows a small set of options for its user to choose between. In order to select these options, the system may analyze the queries tr...
188
click to vote
HASE
1999
IEEE
15 years 11 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
151
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a new computer supported remote learning and gaming method using Tele-Face Mouse system. The Tele-Face Mouse system is being developed as a teleconfer...
178
click to vote
WSC
2001
15 years 8 months ago
2001
Hybrid agent-based simulation is required to provide a mechanism for analyzing large-scale complex systems, such as the National Airspace System (NAS). The dynamic behavior of man...