2502 search results - page 372 / 501 » Using probabilistic model checking in systems biology |
139
click to vote
NIPS
2001
15 years 5 months ago
2001
We describe an algorithm for automatically learning discriminative components of objects with SVM classifiers. It is based on growing image parts by minimizing theoretical bounds ...
153
click to vote
JSCIC
2008
15 years 4 months ago
2008
Solutions of the master equation are approximated using a hierarchy of models based on the solution of ordinary differential equations: the macroscopic equations, the linear noise...
180
click to vote
AGP
2010
IEEE
15 years 8 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
134
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we propose a method for 3D-model retrieval from one or more photos. This method provides an ”optimal” selection of 2D views to represent a 3D-model, and a proba...
121
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...