Sciweavers

4451 search results - page 388 / 891
» Continuous model synthesis
Sort
View
3DPH
2009
145views Healthcare» more  3DPH 2009»
15 years 4 months ago
The Persistent Morse Complex Segmentation of a 3-Manifold
We describe an algorithm for segmenting three-dimensional medical imaging data modeled as a continuous function on a 3-manifold. It is related to watershed algorithms developed in ...
Herbert Edelsbrunner, John Harer
COLING
2010
15 years 1 months ago
Local Space-Time Smoothing for Version Controlled Documents
Unlike static documents, version controlled documents are continuously edited by one or more authors. Such collaborative revision process makes traditional modeling and visualizat...
Seungyeon Kim, Guy Lebanon
147
Voted
SIAMDM
2010
101views more  SIAMDM 2010»
15 years 1 months ago
Vision-Based Pursuit-Evasion in a Grid
We revisit the problem of pursuit-evasion in a grid introduced by Sugihara and Suzuki in the lineof-sight vision model. Consider an arbitrary evader Z with the maximum speed of 1 ...
Adrian Dumitrescu, Howi Kok, Ichiro Suzuki, Pawel ...
ICFEM
2007
Springer
16 years 29 days ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
IDEAL
2005
Springer
16 years 9 days ago
Cluster Analysis of High-Dimensional Data: A Case Study
Abstract. Normal mixture models are often used to cluster continuous data. However, conventional approaches for fitting these models will have problems in producing nonsingular es...
Richard Bean, Geoffrey J. McLachlan