4999 search results - page 501 / 1000 » User Interaction in the BANKS System |
169
click to vote
TPHOL
2005
IEEE
16 years 22 days ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
160
click to vote
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
A new tool for computing and visualizing the operation of power system components and systems is presented. One component of the tool is a time domain simulator that operates in t...
174
click to vote
HOTOS
2009
IEEE
15 years 11 months ago
2009
IEEE
For over forty years, we have assumed hierarchical file system namespaces. These namespaces were a rudimentary attempt at simple organization. As users have begun to interact with...
200
click to vote
COLING
2002
15 years 7 months ago
2002
Systems that interact with the user via natural language are in their infancy. As these systems mature and become more complex, it would be desirable for a system developer if the...
309
click to vote
AMT
2001
Springer
15 years 11 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...