2502 search results - page 348 / 501 » Using probabilistic model checking in systems biology |
122
Voted
ACSD
2010
IEEE
15 years 2 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
167
click to vote
PKDD
2010
Springer
15 years 3 months ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...
120
Voted
JSS
2006
15 years 4 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
156
Voted
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
In this paper we propose an approach capable of simultaneous recognition and localization of multiple object classes using a generative model. A novel hierarchical representation ...
118
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...