Sciweavers

6047 search results - page 303 / 1210
» Modeling with Extend
Sort
View
138
Voted
FIMH
2007
Springer
15 years 10 months ago
Simulation of 3D Ultrasound with a Realistic Electro-mechanical Model of the Heart
This paper presents a first set of experiments to integrate a realistic electro-mechanical model of a beating heart into simulated real-time three-dimensional (RT3D) ultrasound da...
Qi Duan, Philippe Moireau, Elsa D. Angelini, Domin...
HICSS
2006
IEEE
105views Biometrics» more  HICSS 2006»
15 years 10 months ago
Unified Information Models in Support of Location Transparency for Future Utility Applications
For future scenarios of power system operations, like the self healing grid vision, system and communications architecture are key. Applications will require unlimited access to a...
Otto Preiss, Tatjana Kostic
EPIA
2005
Springer
15 years 10 months ago
Revised Stable Models - A Semantics for Logic Programs
This paper introduces an original 2-valued semantics for Normal Logic Programs (NLP), which conservatively extends the Stable Model semantics (SM) to all normal programs. The dist...
Luís Moniz Pereira, Alexandre Miguel Pinto
ICMLA
2007
15 years 6 months ago
Semi-Supervised Active Learning for Modeling Medical Concepts from Free Text
We apply a new active learning formulation to the problem of learning medical concepts from unstructured text. The new formulation is based on maximizing the mutual information th...
Rómer Rosales, Praveen Krishnamurthy, R. Bh...
CORR
2006
Springer
82views Education» more  CORR 2006»
15 years 4 months ago
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
Véronique Cortier, Heinrich Hördegen, ...