2502 search results - page 417 / 501 » Using probabilistic model checking in systems biology |
149
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
140
click to vote
USENIX
2001
15 years 5 months ago
2001
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
130
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
We examine the possible use of Description Logics as a knowledge representation and reasoning system for high-level scene interpretation. It is shown that aggregates composed of m...
140
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
The Carnegie Mellon University Informedia group has enjoyed consistent success with TRECVID interactive search using traditional storyboard interfaces for shot-based retrieval. Fo...
147
click to vote
P2P
2005
IEEE
15 years 9 months ago
2005
IEEE
The success of the P2P idea has created a huge diversity of approaches, among which overlay networks, for example, Gnutella, Kazaa, Chord, Pastry, Tapestry, P-Grid, or DKS, have r...