3680 search results - page 159 / 736 » cases 2010 |
197
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
We provide a detailed description of refinement in Event-B, both as a contribution in itself and as a foundation for the approach to simultaneous animation of multiple levels of re...
193
click to vote
PE
2010
Springer
15 years 4 months ago
2010
Springer
—In this paper we describe a framework for the optimal control of delay tolerant mobile ad hoc networks where multiple classes of nodes co-exist. We specialize the description of...
165
click to vote
IEAAIE
2010
Springer
15 years 4 months ago
2010
Springer
Swarm Intelligence has been a successful approach to solve some combinatorial problems through the metaphor of interacting evolving individuals of a a population P in a closed toru...
148
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
156
click to vote
ICML
2010
IEEE
15 years 7 months ago
2010
IEEE
We introduce new, efficient algorithms for value iteration with multiple reward functions and continuous state. We also give an algorithm for finding the set of all nondominated a...