2502 search results - page 149 / 501 » Using probabilistic model checking in systems biology |
ENTCS
2007
13 years 9 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
DAGM
2009
Springer
14 years 3 months ago
2009
Springer
We present a novel pedestrian detection system based on probabilistic component assembly. A part-based model is proposed which uses three parts consisting of head-shoulder, torso a...
BIODATAMINING
2008
13 years 9 months ago
2008
Background: In computer science, database systems are based on the relational model founded by Edgar Codd in 1970. On the other hand, in the area of biology the word 'databas...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
MONTEREY
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...