3229 search results - page 249 / 646 » The Theory of Timed Automata |
148
click to vote
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
Real-time information dissemination is of increasing importance to our society. Existing work mainly focuses on delivering information from sources to sinks in a timely manner bas...
169
click to vote
COMPGEOM
2006
ACM
16 years 19 days ago
2006
ACM
Persistent homology is the mathematical core of recent work on shape, including reconstruction, recognition, and matching. Its pertinent information is encapsulated by a pairing o...
173
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
157
click to vote
WWW
2005
ACM
16 years 6 days ago
2005
ACM
How to effectively allocate system resource to meet the Service Level Agreement (SLA) of Web servers is a challenging problem. In this paper, we propose an improved scheme for aut...
165
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
—We apply large deviations theory to study asymptotic performance of running consensus distributed detection in sensor networks. Running consensus is a stochastic approximation t...