7340 search results - page 424 / 1468 » The Behavior of Tutoring Systems |
172
Voted
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
187
Voted
FASE
1998
Springer
15 years 11 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
187
click to vote
LCR
1998
Springer
15 years 11 months ago
1998
Springer
Because irregular applications have unpredictable memory access patterns, their performance is dominated by memory behavior. The Impulse con gurable memory controller will enable s...
207
click to vote
CAV
1997
Springer
15 years 11 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
185
Voted
KI
1994
Springer
15 years 11 months ago
1994
Springer
The modeling of noncooperative dialogs, as opposed to dialogs in which the goals of the participants coincide, presents novel challenges to a pragmatically oriented dialog system. ...