1180 search results - page 97 / 236 » Alternating Simulation and IOCO |
167
click to vote
JALC
2007
15 years 6 months ago
2007
The basic finite automata model has been extended over the years with different acceptance modes (nondeterminism, alternation), new or improved devices (two-way heads, pebbles, ...
113
click to vote
ML
2002
ACM
15 years 6 months ago
2002
ACM
When simple parametric models such as linear regression fail to adequately approximate a relationship across an entire set of data, an alternative may be to consider a partition o...
150
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
—We present Netscope, a tomographic technique that infers the loss rates of network links from unicast endto-end measurements. Netscope uses a novel combination of first- and se...
151
click to vote
CDC
2008
IEEE
16 years 23 days ago
2008
IEEE
— In this paper, we describe a simulation-based approach to the verification of high dimensional nonlinear systems subject to disturbances and uncertainty in the initial conditi...
148
click to vote
NOMS
2008
IEEE
16 years 20 days ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...