Sciweavers

4235 search results - page 219 / 847
» Processes in Space
Sort
View
117
Voted
BIRTHDAY
2010
Springer
15 years 5 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ICIP
2003
IEEE
15 years 10 months ago
Automatic object detection using shape information in ultrasound images
A method is presented for segmentation of anatomical structures that incorporates prior information about shape. The method iteratively applies steps which find object’s border ...
Pablo Cancela, Fernando Reyes, Pablo Rodríg...
ECCV
2004
Springer
15 years 8 months ago
Extending Interrupted Feature Point Tracking for 3-D Affine Reconstruction
Feature point tracking over a video sequence fails when the points go out of the field of view or behind other objects. In this paper, we extend such interrupted tracking by imposi...
Yasuyuki Sugaya, Ken-ichi Kanatani
183
Voted
AI
2011
Springer
14 years 8 months ago
Subspace Mapping of Noisy Text Documents
Abstract. Subspace mapping methods aim at projecting high-dimensional data into a subspace where a specific objective function is optimized. Such dimension reduction allows the re...
Axel J. Soto, Marc Strickert, Gustavo E. Vazquez, ...
ICCV
1999
IEEE
16 years 6 months ago
Roxels: Responsibility Weighted 3D Volume Reconstruction
This paper examines the problem of reconstructing a voxelized representation of 3D space from a series of images. An iterative algorithm is used to find the scene model which join...
Jeremy S. De Bonet, Paul A. Viola