Sciweavers

1721 search results - page 83 / 345
» The fundamentals of hybrid systems modelers
Sort
View
180
Voted
ICECCS
2007
IEEE
92views Hardware» more  ICECCS 2007»
15 years 10 months ago
A first approach to the closed-form specification and analysis of an autonomic control system
Control systems must increasingly be designed to involve collections of hardware and software components, both of which may evolve over the lifetime of the system, and which are e...
Simon Dobson, Eoin Bailey, Stephen Knox, Ross Shan...
196
Voted
AAAI
2000
15 years 8 months ago
Bayesian Fault Detection and Diagnosis in Dynamic Systems
This paper addresses the problem of tracking and diagnosing complex systems with mixtures of discrete and continuous variables. This problem is a difficult one, particularly when ...
Uri Lerner, Ronald Parr, Daphne Koller, Gautam Bis...
PARA
2004
Springer
16 years 9 days ago
Parallel Hybrid Sparse Solvers Through Flexible Incomplete Cholesky Preconditioning
Abstract. We consider parallel preconditioning schemes to accelerate the convergence of Conjugate Gradients (CG) for sparse linear system solution. We develop methods for construct...
Keita Teranishi, Padma Raghavan
ITS
2004
Springer
165views Multimedia» more  ITS 2004»
16 years 9 days ago
Knowledge Representation Requirements for Intelligent Tutoring Systems
In this paper, we make a first effort to define requirements for knowledge representation (KR) in an ITS. The requirements concern all stages of an ITS’s life cycle (construction...
Ioannis Hatzilygeroudis, Jim Prentzas
CIKM
2005
Springer
16 years 14 days ago
A hybrid approach to NER by MEMM and manual rules
This paper describes a framework for defining domain specific Feature Functions in a user friendly form to be used in a Maximum Entropy Markov Model (MEMM) for the Named Entity Re...
Moshe Fresko, Binyamin Rosenfeld, Ronen Feldman