783 search results - page 89 / 157 » Modeling High-Dimensional Index Structures using Sampling |
120
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
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...
135
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
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...
124
click to vote
CSDA
2007
15 years 4 months ago
2007
Nonlinear random effects models with finite mixture structures are used to identify polymorphism in pharmacokinetic/ pharmacodynamic (PK/PD) phenotypes. An EM algorithm for maxim...
133
click to vote
PVLDB
2010
15 years 3 months ago
2010
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...
178
click to vote
BMVC
2002
15 years 7 months ago
2002
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...