1419 search results - page 177 / 284 » group 2010 |
206
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...
170
click to vote
TCSV
2010
15 years 1 months ago
2010
While peer-to-peer (P2P) video streaming systems have achieved promising results, they introduce a large number of unnecessary traverse links, which consequently leads to substanti...
214
click to vote
AAAI
2012
13 years 9 months ago
2012
The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...
197
click to vote
LATINCRYPT
2010
15 years 4 months ago
2010
the full version of the extended abstract which appears in Latincrypt '10 (august 8-11, 2010, Puebla, Mexico) M. Abdalla and P. Barreto Eds., Springer-Verlag, LNCS 6212, pages...
156
click to vote
TALG
2010
15 years 4 months ago
2010
Given a rectangular boundary partitioned into rectangles, the Minimum-Length Corridor (MLC-R) problem consists of finding a corridor of least total length. A corridor is a set of ...