1116 search results - page 179 / 224 » Applying Predicate Abstraction to Abstract State Machines |
111
click to vote
CONSTRAINTS
2011
14 years 6 months ago
2011
Abstract The G12 project is developing a software environment for stating and solving combinatorial problems by mapping a high-level model of the problem to an efficient combinatio...
ACII
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Driver anger could be potentially harmful for road safety and longterm health. Because of its mood inducing properties, music is assumed to be a potential medium that cou...
119
click to vote
FOSSACS
2012
Springer
13 years 6 months ago
2012
Springer
Coalgebra offers a unified theory of state based systems, including infinite streams, labelled transition systems and deterministic automata. In this paper, we use the coalgebrai...
SIAMCOMP
2002
14 years 10 months ago
2002
Abstract. In the multiarmed bandit problem, a gambler must decide which arm of K nonidentical slot machines to play in a sequence of trials so as to maximize his reward. This class...
IPPS
1998
IEEE
15 years 3 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...