Sciweavers

2519 search results - page 255 / 504
» Reasoning with Textual Cases
Sort
View
ECEH
2006
126views Healthcare» more  ECEH 2006»
15 years 8 months ago
Process-based E-Service-Logistics for Healthcare Networks
: Coordination in healthcare networks becomes increasingly important to enable integrated care scenarios, to enhance patient satisfaction and to reduce costs of the treatment proce...
Günter Schicker, Freimut Bodendorf
FLAIRS
2006
15 years 8 months ago
Conservative and Creative Strategies for the Refinement of Scoring Rules
In knowledge engineering research the refinement of manually developed intelligent systems is still one of the key issues. Since scoring rules are an intuitive and easy to impleme...
Joachim Baumeister, Martin Atzmüller, Peter K...
EHCI
2001
15 years 8 months ago
Detecting Multiple Classes of User Errors
Abstract. Systematic user errors commonly occur in the use of interactive systems. We describe a formal reusable user model implemented in higher-order logic that can be used for m...
Paul Curzon, Ann Blandford
ICASSP
2007
IEEE
15 years 6 months ago
All-Pole Spectral Envelope Modelling with Order Selection for Harmonic Signals
We present a study into all-pole spectral envelope estimation for the case of harmonic signals. We address the problem of the selection of the model order and propose to make use ...
Fernando Villavicencio, Axel Röbel, Xavier Ro...
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 6 months ago
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
The standard reasoning problem, concept satisfiability, in the basic description logic ALC is PSPACE-complete, and it is EXPTIMEcomplete in the presence of unrestricted axioms. Sev...
Arne Meier, Thomas Schneider 0002