Sciweavers

1471 search results - page 188 / 295
» Adaptive Discriminative Generative Model and Its Application...
Sort
View
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...
ICPR
2006
IEEE
16 years 5 months ago
Evaluation of 3D Facial Feature Selection for Individual Facial Model Identification
Face recognition using 3D information has been intensively investigated in recent years. The features selected from 3D facial surfaces are invariant to pose and lighting condition...
Lijun Yin, Yi Sun
KDD
2008
ACM
244views Data Mining» more  KDD 2008»
16 years 5 months ago
Probabilistic latent semantic visualization: topic model for visualizing documents
We propose a visualization method based on a topic model for discrete data such as documents. Unlike conventional visualization methods based on pairwise distances such as multi-d...
Tomoharu Iwata, Takeshi Yamada, Naonori Ueda
ECCV
2004
Springer
15 years 10 months ago
A 2D Fourier Approach to Deformable Model Segmentation of 3D Medical Images
Anatomical shapes present a unique problem in terms of accurate representation and medical image segmentation. Three-dimensional (3D) statistical shape models have been extensivel...
Eric Berg, Mohamed Mahfouz, Christian Debrunner, W...
MODELS
2010
Springer
15 years 3 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng