Sciweavers

1929 search results - page 49 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
169
Voted
AIMDM
1999
Springer
15 years 7 months ago
Integrating Deep Biomedical Models into Medical Decision Support Systems: An Interval Constraint Approach
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
Jorge Cruz, Pedro Barahona, Frédéric...
135
Voted
COMPLIFE
2006
Springer
15 years 7 months ago
Adaptive Approach for Modelling Variability in Pharmacokinetics
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
Andrea Y. Weiße, Illia Horenko, Wilhelm Huis...
153
Voted
ICTAC
2009
Springer
15 years 1 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
149
Voted
DEDS
2002
119views more  DEDS 2002»
15 years 3 months ago
Diagnosing Discrete-Event Systems: Extending the "Diagnoser Approach" to Deal with Telecommunication Networks
Abstract. Detection and isolation of failures in large and complex systems such as telecommunication networks are crucial and challenging tasks. The problem considered here is that...
Laurence Rozé, Marie-Odile Cordier
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...