2502 search results - page 325 / 501 » Using probabilistic model checking in systems biology |
166
click to vote
FORMATS
2004
Springer
15 years 12 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
178
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer security systems protect computers and networks from unauthorized use by external agents and insiders. The similarities between computer security and the problem of prote...
174
click to vote
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
A probabilistic lighting model is presented for thin coats of fur over skin. Previous methods for rendering furry objects and creatures have addressed the case where individual st...
196
click to vote
AAAI
2011
14 years 6 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...
168
click to vote
ALMOB
2006
15 years 6 months ago
2006
The main goal of the motif finding problem is to detect novel, over-represented unknown signals in a set of sequences (e.g. transcription factor binding sites in a genome). The mo...