Sciweavers

867 search results - page 90 / 174
» A Model for Dynamic Shape and Its Applications
Sort
View
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 16 days ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
87
Voted
IMCSIT
2010
14 years 10 months ago
On the Numerical Analysis of Stochastic Lotka-Volterra Models
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
Tugrul Dayar, Linar Mikeev, Verena Wolf
108
Voted
NIPS
2004
15 years 2 months ago
The Correlated Correspondence Algorithm for Unsupervised Registration of Nonrigid Surfaces
We present an unsupervised algorithm for registering 3D surface scans of an object undergoing significant deformations. Our algorithm does not need markers, nor does it assume pri...
Dragomir Anguelov, Praveen Srinivasan, Hoi-Cheung ...
94
Voted
COGSCI
2010
88views more  COGSCI 2010»
15 years 22 days ago
Domain-Creating Constraints
The contributions to this special issue on cognitive development collectively propose ways in which learning involves developing constraints that shape subsequent learning. A lear...
Robert L. Goldstone, David Landy
CVGIP
2006
158views more  CVGIP 2006»
15 years 20 days ago
Adaptive grid optical tomography
Image-based modeling of semi-transparent, dynamic phenomena is a challenging task. We present an optical tomography method that uses an adaptive grid for the reconstruction of a t...
Ivo Ihrke, Marcus A. Magnor