2502 search results - page 460 / 501 » Using probabilistic model checking in systems biology |
SENSYS
2003
ACM
15 years 5 months ago
2003
ACM
Accurate and scalable simulation has historically been a key enabling factor for systems research. We present TOSSIM, a simulator for TinyOS wireless sensor networks. By exploitin...
103
click to vote
PACT
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we design and implement an efficient technique for parallel evidence propagation on state-of-the-art multicore processor systems. Evidence propagation is a major ste...
104
click to vote
HUC
2010
Springer
14 years 12 months ago
2010
Springer
This work presents the design and evaluation of an activity recognition system for seven important motion related activities. The only sensor used is an Inertial Measurement Unit ...
100
click to vote
CIKM
2010
Springer
14 years 10 months ago
2010
Springer
The probabilistic formalism of quantum physics is said to provide a sound basis for building a principled information retrieval framework. Such a framework can be based on the not...
PLDI
2009
ACM
15 years 6 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...