Sciweavers

2835 search results - page 286 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
134
Voted
ICCV
2007
IEEE
16 years 6 months ago
3D Variational Brain Tumor Segmentation using a High Dimensional Feature Set
Tumor segmentation from MRI data is an important but time consuming task performed manually by medical experts. Automating this process is challenging due to the high diversity in...
Albert Murtha, Dana Cobzas, Mark Schmidt, Martin J...
AIME
1997
Springer
15 years 8 months ago
Developing a Decision-Theoretic Network for a Congenital Heart Disease
To support paediatric cardiologists in prognostic assessment and treatment planning, a decision-theoretic network for congenital heart disease is being constructed. The network is...
Niels Peek, Jaap Ottenkamp
AIPS
2003
15 years 6 months ago
GPT Meets PSR
We present a case study in confronting the GPT generalpurpose planner with the challenging power supply restoration (PSR) benchmark for contingent planning. PSR is derived from a ...
Blai Bonet, Sylvie Thiébaux
JAIR
2010
111views more  JAIR 2010»
15 years 3 months ago
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
Johan Wittocx, Maarten Mariën, Marc Denecker
FMAM
2010
157views Formal Methods» more  FMAM 2010»
15 years 2 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova