9521 search results - page 288 / 1905 » Compiling with continuations, continued |
94
Voted
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
120
Voted
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
Abstract. The continuous media applications have an implied temporal dimension, i.e. they are presented at a particular rate for a particular length of time and if the required rat...
153
Voted
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
In this paper we describe an experimental system called d=dt for approximating reachable states for hybrid systems whose continuous dynamics is de ned by linear di erential equatio...
122
Voted
ICML
2010
IEEE
15 years 4 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...
134
Voted
PAMI
2000
15 years 3 months ago
2000