172 search results - page 9 / 35 » How to Specialize by Theory Refinement |
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
104
click to vote
ROBOCUP
2004
Springer
15 years 2 months ago
2004
Springer
The paper discusses a top-down approach to model soccer knowledge, as it can be found in soccer theory books. The goal is to model soccer strategies and tactics in a way that they ...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of...
76
Voted
COSIT
2007
Springer
15 years 3 months ago
2007
Springer
Rough sets have been applied in spatial information theory to construct theories of granularity – presenting information at different levels of detail. Mathematical morphology c...
INFOCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...