214 search results - page 16 / 43 » toms 2010 |
ICALP
2010
Springer
14 years 16 days ago
2010
Springer
We consider two-player turn-based games with zero-reachability and zero-safety objectives generated by extended vector addition systems with states. Although the problem of decidin...
ISMVL
2010
IEEE
14 years 25 days ago
2010
IEEE
—Every probability on many-valued events (a state on a finitely-generated free MV-algebras) is uniquely represented by refining finitely-supported probabilities across all Sch...
JGT
2010
13 years 6 months ago
2010
Beck introduced the concept of Ramsey games by studying the game versions of Ramsey and van der Waerden theorems. We contribute to this topic by investigating games corresponding ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
JMLR
2010
13 years 6 months ago
2010
A new algorithm for building decision tree classifiers is proposed. The algorithm is executed in a distributed environment and is especially designed for classifying large datase...