7340 search results - page 411 / 1468 » The Behavior of Tutoring Systems |
178
click to vote
SAFECOMP
1999
Springer
15 years 11 months ago
1999
Springer
Microprocessor-based systems are increasingly used to control safety-critical systems (e.g., air and railway traffic control, nuclear plant control, aircraft and car control). In t...
184
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In the past decades, many formal frameworks (e.g. timed automata and temporal logics) and techniques (e.g. model checking and theorem proving) have been proposed to model a real-ti...
151
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
187
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Complexity of today's systems prevents designers from knowing everything about them and makes engineering them a difficult task for which classical engineering approaches are ...
130
click to vote
LREC
2010
15 years 8 months ago
2010
In this work we investigate the effects of rephrasing the user's input on two mobile spoken dialogue systems. We argue that for specific kinds of applications it's impor...