780 search results - page 68 / 156 » Compositional Quantitative Reasoning |
110
Voted
QEST
2007
IEEE
15 years 7 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...
76
Voted
IROS
2006
IEEE
15 years 6 months ago
2006
IEEE
One reason given for the use of multirobot systems is that many cheap robots are more reliable than one expensive robot. To date, however, there has been no quantitative analys...
76
Voted
SERA
2005
Springer
15 years 6 months ago
2005
Springer
This paper shows the feasibility of SQL/MDR development. Previous approach has several problems such as complicated exchanging mechanism, dependent description to local MDR system...
EVOW
2008
Springer
15 years 2 months ago
2008
Springer
A fundamental problem of modelling in Systems Biology is to precisely characterise quantitative parameters, which are hard to measure experimentally. For this reason, it is common ...
92
Voted
ERCIMDL
2010
Springer
15 years 1 months ago
2010
Springer
The reasons why users tag have remained mostly elusive to quantitative investigations. In this paper, we distinguish between two types of motivation for tagging: While categorizers...