Sciweavers

8177 search results - page 659 / 1636
» Detecting System Emulators
Sort
View
ITS
1998
Springer
114views Multimedia» more  ITS 1998»
15 years 11 months ago
Motivation Diagnosis in Intelligent Tutoring Systems
Despite being of crucial importance in Education, the issue of motivation has been only very recently explicitly addressed in Intelligent Tutoring Systems (ITS). In the few studies...
Angel de Vicente, Helen Pain
ICIAR
2010
Springer
15 years 11 months ago
On-Board Monocular Vision System Pose Estimation through a Dense Optical Flow
Abstract. This paper presents a robust technique for estimating onboard monocular vision system pose. The proposed approach is based on a dense optical flow that is robust against...
Naveen Onkarappa, Angel Domingo Sappa
ATC
2006
Springer
15 years 11 months ago
Multi-level Model-Based Self-diagnosis of Distributed Object-Oriented Systems
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
A. Reza Haydarlou, Benno J. Overeinder, Michel A. ...
FPL
2006
Springer
135views Hardware» more  FPL 2006»
15 years 11 months ago
FPGA Design Considerations in the Implementation of a Fixed-Throughput Sphere Decoder for MIMO Systems
A field-programmable gate array (FPGA) implementation of a new detection algorithm for uncoded multiple inputmultiple output (MIMO) systems based on the complex version of the sph...
Luis G. Barbero, John S. Thompson
HYBRID
1995
Springer
15 years 11 months ago
Diagnostic Model-Checking for Real-Time Systems
Uppaal is a new tool suit for automatic veri cation of networks of timed automata. In this paper we describe the diagnostic model-checking feature of Uppaal and illustrates its use...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi