2502 search results - page 336 / 501 » Using probabilistic model checking in systems biology |
171
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— In this paper we present a novel method for robot path planning based on learning motion patterns. A motion pattern is defined as the path that results from applying a set of ...
160
click to vote
ICRA
2003
IEEE
15 years 10 months ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...
149
click to vote
TACAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
163
click to vote
IJIT
2004
15 years 6 months ago
2004
Abstract-- We consider a hybrid knowledge representation system for ontological knowledge bases in order to maintain knowledge consistency between taxonomic knowledge and assertion...
154
click to vote
IPAW
2010
15 years 2 months ago
2010
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...