Sciweavers

783 search results - page 89 / 157
» Modeling High-Dimensional Index Structures using Sampling
Sort
View
ICRA
2002
IEEE
113views Robotics» more  ICRA 2002»
15 years 6 months ago
Modeling of Needle Insertion Forces for Robot-Assisted Percutaneous Therapy
Force information from needle insertions was measured and modeled for use in robot-assisted percutaneous therapies. Data was collected on bovine livers using the Johns Hopkins Uni...
Christina Simone, Allison M. Okamura
VMCAI
2004
Springer
15 years 6 months ago
Approximate Probabilistic Model Checking
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...
Thomas Hérault, Richard Lassaigne, Fr&eacut...
CSDA
2007
108views more  CSDA 2007»
15 years 1 months ago
Nonlinear random effects mixture models: Maximum likelihood estimation via the EM algorithm
Nonlinear random effects models with finite mixture structures are used to identify polymorphism in pharmacokinetic/ pharmacodynamic (PK/PD) phenotypes. An EM algorithm for maxim...
Xiaoning Wang, Alan Schumitzky, David Z. D'Argenio
PVLDB
2010
119views more  PVLDB 2010»
14 years 12 months ago
An Architecture for Parallel Topic Models
This paper describes a high performance sampling architecture for inference of latent topic models on a cluster of workstations. Our system is faster than previous work by over an...
Alexander J. Smola, Shravan Narayanamurthy
BMVC
2002
15 years 3 months ago
Adaptive Learning of Statistical Appearance Models for 3D Human Tracking
A likelihood formulation for human tracking is presented based upon matching feature statistics on the surface of an articulated 3D body model. A benefit of such a formulation ove...
Timothy J. Roberts, Stephen J. McKenna, Ian W. Ric...