Sciweavers

4245 search results - page 107 / 849
» Input Modeling
Sort
View
ATC
2006
Springer
15 years 10 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. ...
EDUTAINMENT
2006
Springer
15 years 10 months ago
Dynamic User Modeling for Sketch-Based User Interface
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
Zhengxing Sun, Bin Li, Qiang Wang, Guihuan Feng
ACTA
2007
106views more  ACTA 2007»
15 years 6 months ago
Symbolic models for control systems
In this paper we provide a bridge between the infinite state models used in control theory to describe the evolution of continuous physical processes and the finite state models ...
Paulo Tabuada
ML
2002
ACM
163views Machine Learning» more  ML 2002»
15 years 6 months ago
Structural Modelling with Sparse Kernels
A widely acknowledged drawback of many statistical modelling techniques, commonly used in machine learning, is that the resulting model is extremely difficult to interpret. A numb...
Steve R. Gunn, Jaz S. Kandola
BIRTHDAY
2010
Springer
15 years 7 months ago
Halting and Equivalence of Program Schemes in Models of Arbitrary Theories
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
Dexter Kozen