Sciweavers

310 search results - page 5 / 62
» Mapping from Speech to Images Using Continuous State Space M...
Sort
View
IPMI
2005
Springer
14 years 26 days ago
PET Image Reconstruction: A Robust State Space Approach
Statistical iterative reconstruction algorithms have shown improved image quality over conventional nonstatistical methods in PET by using accurate system response models and measu...
Huafeng Liu, Yi Tian, Pengcheng Shi
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
13 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
SASO
2007
IEEE
14 years 1 months ago
A Space- and Time-Continuous Model of Self-Organizing Robot Swarms for Design Support
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
Heiko Hamann, Heinz Wörn
ICPR
2004
IEEE
14 years 8 months ago
Reconstructing a Dynamic Surface from Video Sequences Using Graph Cuts in 4D Space-Time
This paper is concerned with the problem of dynamically reconstructing the 3D surface of an object undergoing non-rigid motion. The problem is cast as reconstructing a continuous ...
Narendra Ahuja, Ning Xu, Tianli Yu
INTERSPEECH
2010
13 years 2 months ago
Towards affective state modeling in narrative and conversational settings
We carry out two studies on affective state modeling for communication settings that involve unilateral intent on the part of one participant (the evoker) to shift the affective s...
Bart Jochems, Martha Larson, Roeland Ordelman, Ron...