2502 search results - page 187 / 501 » Using probabilistic model checking in systems biology |
212
click to vote
CIS
2004
Springer
15 years 12 months ago
2004
Springer
The pi calculus has been applied to modelling biochemical networks. In these applications, the modelling is done without considerations to exceptions. The Ipi calculus, the Interfe...
200
click to vote
ISWC
1997
IEEE
15 years 10 months ago
1997
IEEE
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...
178
click to vote
ECBS
2003
IEEE
15 years 11 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
213
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper we face the problem of partitioning the news videos into stories, and of their classification according to a predefined set of categories. In particular, we propose ...
181
click to vote
BIB
2007
15 years 6 months ago
2007
The collection of multiple genome-scale datasets is now routine, and the frontier of research in systems biology has shifted accordingly. Rather than clustering a single dataset t...