Sciweavers

1187 search results - page 97 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
DEBS
2010
ACM
14 years 10 months ago
Mobile XSiena: towards mobile publish/subscribe
Mobile XSiena is a novel publish/subscribe platform which seeks to extend the XSiena content-based publish/subscribe system in order to support user mobility and create an experim...
Zigor Salvador, Aurkene Alzua, Mikel Larrea, Alber...
ICPP
2008
IEEE
15 years 8 months ago
Solving Large, Irregular Graph Problems Using Adaptive Work-Stealing
Solving large, irregular graph problems efficiently is challenging. Current software systems and commodity multiprocessors do not support fine-grained, irregular parallelism wel...
Guojing Cong, Sreedhar B. Kodali, Sriram Krishnamo...
CVPR
2008
IEEE
16 years 3 months ago
Information-theoretic active scene exploration
Studies support the need for high resolution imagery to identify persons in surveillance videos[13]. However, the use of telephoto lenses sacrifices a wider field of view and ther...
Eric Sommerlade, Ian Reid
105
Voted
FOCS
2008
IEEE
15 years 8 months ago
Almost-Natural Proofs
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is...
Timothy Y. Chow
SPAA
2006
ACM
15 years 7 months ago
On space-stretch trade-offs: lower bounds
One of the fundamental trade-offs in compact routing schemes is between the space used to store the routing table on each node and the stretch factor of the routing scheme – th...
Ittai Abraham, Cyril Gavoille, Dahlia Malkhi