Sciweavers

2916 search results - page 372 / 584
» Generating Rule Sets from Model Trees
Sort
View
ICCV
2011
IEEE
14 years 5 months ago
A 3D Laplacian-Driven Parametric Deformable Model
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...
Tian Shen, Xiaolei Huang, Hongsheng Li, Edward Kim...
IPMI
2005
Springer
16 years 5 months ago
Multi-figure Anatomical Objects for Shape Statistics
Abstract. Multi-figure m-reps allow us to represent and analyze a complex anatomical object by its parts, by relations among its parts, and by the object itself as a whole entity. ...
Qiong Han, Stephen M. Pizer, Derek Merck, Sarang C...
QEST
2010
IEEE
15 years 2 months ago
The Measurable Space of Stochastic Processes
Abstract--We introduce a stochastic extension of CCS endowed with structural operational semantics expressed in terms of measure theory. The set of processes is organised as a meas...
Luca Cardelli, Radu Mardare
139
Voted
FORTE
2008
15 years 6 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
125
Voted
BMCBI
2006
89views more  BMCBI 2006»
15 years 5 months ago
A joint model for nonparametric functional mapping of longitudinal trajectory and time-to-event
Background: The characterization of the relationship between a longitudinal response process and a time-to-event has been a pressing challenge in biostatistical research. This has...
Min Lin, Rongling Wu