553 search results - page 72 / 111 » A General Theory of Additive State Space Abstractions |
111
click to vote
FORMATS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
116
click to vote
WIOPT
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...
204
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...
104
click to vote
EMSOFT
2006
Springer
15 years 3 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
115
click to vote
VALUETOOLS
2006
ACM
15 years 5 months ago
2006
ACM
Min-max functions are dynamic programming operators of zero-sum deterministic games with finite state and action spaces. The problem of computing the linear growth rate of the or...