1075 search results - page 125 / 215 » On Singular Interval Systems |
146
click to vote
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
180
click to vote
GRAPHICSINTERFACE
2007
15 years 5 months ago
2007
Modeling 3D objects and scenes is an important part of computer graphics. One approach to modeling is projecting binary patterns onto the scene in order to obtain correspondences ...
109
click to vote
IJBC
2006
15 years 4 months ago
2006
We study a binary-cell-states eight-cell neighborhood two-dimensional cellular automaton model of a quasi-chemical system with a substrate and a reagent. Reactions are represented...
132
click to vote
TSP
2008
15 years 4 months ago
2008
In this paper, we develop algorithms for distributed computation of averages of the node data over networks with bandwidth/power constraints or large volumes of data. Distributed ...
126
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— We study the problem of reaching a consensus in the values of a distributed system of agents with time-varying connectivity in the presence of delays. We consider a widely stud...