15792 search results - page 102 / 3159 » Computational Abstraction Steps |
172
click to vote
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
97
Voted
CCA
2009
Springer
15 years 10 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
86
Voted
HPCA
2007
IEEE
16 years 3 months ago
2007
IEEE
113
Voted
RECOMB
2007
Springer
16 years 3 months ago
2007
Springer
62
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
