Sciweavers

6719 search results - page 422 / 1344
» A Generalization of Automatic Sequences
Sort
View
PODC
2000
ACM
15 years 11 months ago
Debugging distributed programs using controlled re-execution
Distributed programs are hard to write. A distributed debugger equipped with the mechanism to re-execute the traced computation in a controlled fashion can greatly facilitate the ...
Neeraj Mittal, Vijay K. Garg
VISUALIZATION
1997
IEEE
15 years 11 months ago
Architectural walkthroughs using portal textures
This paper outlines a method to dynamically replace portals with textures in a cell-partitioned model. The rendering complexity is reduced to the geometry of the current cell thus...
Daniel G. Aliaga, Anselmo Lastra
MFCS
1994
Springer
15 years 11 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
ECCV
2006
Springer
15 years 10 months ago
Fast Segmentation of the Mitral Valve Leaflet in Echocardiography
This paper presents a semi-automatic method for tracking the mitral valve leaflet in transesophageal echocardiography. The algorithm requires a manual initialization and then segme...
Sébastien Martin, Vincent Daanen, Olivier C...
ECCV
2006
Springer
15 years 10 months ago
Spatial Segmentation of Temporal Texture Using Mixture Linear Models
In this paper we propose a novel approach for the spatial segmentation of video sequences containing multiple temporal textures. This work is based on the notion that a single tem...
Lee Cooper, Jun Liu, Kun Huang