2502 search results - page 146 / 501 » Using probabilistic model checking in systems biology |
TOPNOC
2008
13 years 9 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
ICCV
2007
IEEE
13 years 11 months ago
2007
IEEE
Even though sensor fusion techniques based on particle filters have been applied to object tracking, their implementations have been limited to combining measurements from multip...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
3D object detection and importance regression/ranking are at the core for semantically interpreting 3D medical images of computer aided diagnosis (CAD). In this paper, we propose ...
CVPR
1998
IEEE
14 years 11 months ago
1998
IEEE
A new approach to the recognition of temporal behaviors and activities is presented. The fundamental idea, inspired by work in speech recognition, is to divide the inference probl...
HICSS
2005
IEEE
14 years 2 months ago
2005
IEEE
It is well-known that linguistic decision-making problems that manage preferences from different experts follow a common resolution scheme composed by two phases: an aggregation p...