Sciweavers

6775 search results - page 130 / 1355
» Diagnosis of Active Systems
Sort
View
APIN
1999
110views more  APIN 1999»
15 years 6 months ago
The Connectionist Inductive Learning and Logic Programming System
The Connectionist Inductive Learning and Logic Programming System, C-IL 2 P, integrates the symbolic and connectionist paradigms of Artificial Intelligence through neural networks...
Artur S. d'Avila Garcez, Gerson Zaverucha
IEEEARES
2006
IEEE
16 years 15 days ago
Modeling Dependable Systems using Hybrid Bayesian Networks
A hybrid Bayesian Network (BN) is one that incorporates both discrete and continuous nodes. In our extensive applications of BNs for system dependability assessment the models are...
Martin Neil, Manesh Tailor, Norman E. Fenton, Davi...
ITC
2003
IEEE
114views Hardware» more  ITC 2003»
15 years 11 months ago
Test-Based Model Generation For Legacy Systems
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
ITNG
2010
IEEE
15 years 11 months ago
BAUT: A Bayesian Driven Tutoring System
—This paper presents the design of BAUT, a tutoring system that explores statistical approach for providing instant project failure analysis. Driven by a Bayesian Network (BN) in...
Song Tan, Kai Qian, Xiang Fu, Prabir Bhattacharya
ICRA
2002
IEEE
103views Robotics» more  ICRA 2002»
15 years 11 months ago
Impedance Controller for a Remote Ultrasound Diagnostic System
Abstract A master-slave type remote ultrasound diagnostic system was developed. This paper presents its controller. The controller has impedance control capability for the master a...
Norihiro Koizumi, Shin'ichi Warisawa, Mamoru Mitsu...