1116 search results - page 179 / 224 » Applying Predicate Abstraction to Abstract State Machines |
129
click to vote
CONSTRAINTS
2011
14 years 7 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...
111
Voted
ACII
2011
Springer
14 years 24 days 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...
137
Voted
FOSSACS
2012
Springer
13 years 8 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...
98
Voted
SIAMCOMP
2002
15 years 13 days 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...
118
Voted
IPPS
1998
IEEE
15 years 5 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...