33356 search results - page 305 / 6672 » Models of Continual Computation |
165
click to vote
ERSA
2007
15 years 8 months ago
2007
This paper describes a proof-of-concept implementation of a basic autonomous computing system. The system consists of an XUP Virtex-II Pro board running Linux and a set of softwar...
183
click to vote
HYBRID
2007
Springer
16 years 24 days ago
2007
Springer
This work investigates some of the computational issues involved in the solution of probabilistic reachability problems for discretetime, controlled stochastic hybrid systems. It i...
172
click to vote
CSL
2005
Springer
16 years 5 days ago
2005
Springer
We study computability on sequence spaces, as they are used in functional analysis. It is known that non-separable normed spaces cannot be admissibly represented on Turing machines...
167
click to vote
SIGECOM
2004
ACM
16 years 2 days ago
2004
ACM
We provide efficient algorithms for finding approximate BayesNash equilibria (BNE) in graphical, specifically tree, games of incomplete information. In such games an agent’s p...
166
click to vote
HYBRID
1999
Springer
15 years 11 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...