Sciweavers

5414 search results - page 195 / 1083
» Exploratory Model Building
Sort
View
105
Voted
MICCAI
2001
Springer
15 years 7 months ago
3D+t Modeling of Coronary Artery Tree from Standard Non Simultaneous Angiograms
Abstract. 3D models of coronary arteries is a valuable help for the planning and simulation of minimally-invasive cardiac surgery, and may be used in per-operative augmented realit...
Fabien Mourgues, Frederic Devernay, Grégoir...
122
Voted
CSL
2010
Springer
15 years 2 months ago
The Hidden Information State model: A practical framework for POMDP-based spoken dialogue management
This paper explains how Partially Observable Markov Decision Processes (POMDPs) can provide a principled mathematical framework for modelling the inherent uncertainty in spoken di...
Steve Young, Milica Gasic, Simon Keizer, Fran&cced...
IVA
2010
Springer
15 years 29 days ago
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
Matthijs Pontier, Ghazanfar F. Siddiqui, Johan F. ...
131
Voted
ICCAD
2006
IEEE
165views Hardware» more  ICCAD 2006»
15 years 11 months ago
A fast block structure preserving model order reduction for inverse inductance circuits
Most existing RCL−1 circuit reductions stamp inverse inductance L−1 elements by a second-order nodal analysis (NA). The NA formulation uses nodal voltage variables and describ...
Hao Yu, Yiyu Shi, Lei He, David Smart
123
Voted
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
15 years 9 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo