16430 search results - page 202 / 3286 » On Computable Tree Functions |
139
click to vote
DSN
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the problem of fault resilience of overlay-based live media streaming from two aspects: (1) how to construct a stable multicast tree that minimizes the negati...
134
click to vote
FOCS
2005
IEEE
15 years 9 months ago
2005
IEEE
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
135
click to vote
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
We address the issue of multicasting and broadcasting in wide area WDM networks in which a source broadcasts a message to all members in S V. We formalize it as the optimal multi...
126
click to vote
ACCV
1998
Springer
15 years 8 months ago
1998
Springer
This paper isconcerned with learning the canonical gray scalestructure of the images of a classof objects. Structure is defined in terms of the geometry and layout of salientimage...
120
click to vote
IPL
2007
15 years 3 months ago
2007
We present a characterization of first-order functional programs which are quasiterminating w.r.t. the symbolic execution mechanism of needed narrowing, i.e., computations in the...