Sciweavers

2946 search results - page 351 / 590
» Physical Modeling in MATLAB
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Covariate shift adaptation for semi-supervised speaker identification
In this paper, we propose a novel semi-supervised speaker identification method that can alleviate the influence of nonstationarity such as session dependent variation, the reco...
Makoto Yamada, Masashi Sugiyama, Tomoko Matsui
IROS
2009
IEEE
168views Robotics» more  IROS 2009»
16 years 1 months ago
Heart surface motion estimation framework for robotic surgery employing meshless methods
Abstract— A novel heart surface motion estimation framework for a robotic surgery on a stabilized beating heart is proposed. It includes an approach for the reconstruction and pr...
Evgeniya Bogatyrenko, Uwe D. Hanebeck, Gábo...
TPHOL
2009
IEEE
16 years 1 months ago
Types, Maps and Separation Logic
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
Rafal Kolanski, Gerwin Klein
ACAL
2009
Springer
16 years 1 months ago
Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
Maik Hadorn, Peter Eggenberger Hotz
ICVS
2009
Springer
16 years 1 months ago
A Multiple Hypothesis Approach for a Ball Tracking System
This paper presents a computer vision system for tracking and predicting flying balls in 3-D from a stereo-camera. It pursues a “textbook-style” approach with a robust circle ...
Oliver Birbach, Udo Frese