329 search results - page 35 / 66 » Evaluating Telemedicine Systems Success: A Revised Model |
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
RSP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
IJCAI
2001
13 years 9 months ago
2001
Role-limiting approaches using explicit theories of problem-solving have been successful for acquiring knowledge from domain experts1 . However most systems using this approach do...
AH
2006
Springer
13 years 11 months ago
2006
Springer
Intelligent tutoring systems achieve much of their success by adapting to individual students. One potential avenue for personalization is feedback generality. This paper presents ...
NAACL
2007
13 years 9 months ago
2007
We present a sentence compression system based on synchronous context-free grammars (SCFG), following the successful noisy-channel approach of (Knight and Marcu, 2000). We define...