7820 search results - page 1454 / 1564 » Formalization of Time and Space |
172
click to vote
ICDCS
2010
IEEE
15 years 6 months ago
2010
IEEE
—In this paper, we classify multitolerant systems, i.e., systems that tolerate multiple classes of faults and provide potentially different levels of tolerance to them in terms o...
192
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
Although reasoning about what is the case has been the historic focus of logic, reasoning about what should be done is an equally important capacity for an intelligent agent. Reas...
150
click to vote
AMAI
2008
Springer
15 years 6 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...
168
click to vote
ALIFE
2007
15 years 6 months ago
2007
A class of generic models of protocells is introduced, which are inspired by the “Los Alamos bug” is but which, due to their abstraction level, can be applied to a wider set o...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: It has been long well known that genes do not act alone; rather groups of genes act in consort during a biological process. Consequently, the expression levels of gene...