652 search results - page 88 / 131 » A Knowledge-Based System within a Cooperative Processing Env... |
155
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
125
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
— In this paper, we consider the problem of exploring an unknown environment with a team of mobile robots. One of the key issues in multi-robot exploration is how to assign targe...
139
click to vote
NAR
2006
15 years 4 months ago
2006
The increasing amount of genomic and molecular information is the basis for understanding higherorder biological systems, such as the cell and the 15 organism, and their interacti...
131
click to vote
CIKM
2010
Springer
15 years 3 months ago
2010
Springer
Traditional interactive information retrieval systems function by creating inverted lists, or term indexes. For every term in the vocabulary, a list is created that contains the d...
128
click to vote
ENTCS
2006
15 years 4 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...