Sciweavers

6976 search results - page 402 / 1396
» The Oil Searching Problem
Sort
View
SAT
2009
Springer
132views Hardware» more  SAT 2009»
16 years 1 months ago
Relaxed DPLL Search for MaxSAT
We propose a new incomplete algorithm for the Maximum Satisfiability (MaxSAT) problem on unweighted Boolean formulas, focused specifically on instances for which proving unsatis...
Lukas Kroc, Ashish Sabharwal, Bart Selman
ICPR
2008
IEEE
16 years 1 months ago
Human detection by searching in 3d space using camera and scene knowledge
Many existing human detection systems are based on sub-window classification, namely detection is done by enumerating rectangular sub-images in the 2D image space. Detection rate...
Yuan Li, Bo Wu, Ram Nevatia
INFOCOM
2008
IEEE
16 years 1 months ago
Searching for Rare Objects Using Index Replication
—Searching for objects is a fundamental problem for popular peer-to-peer file-sharing networks that contribute to much of the traffic on today’s Internet. While existing prot...
Krishna Puttaswamy, Alessandra Sala, Ben Y. Zhao
WECWIS
2007
IEEE
80views ECommerce» more  WECWIS 2007»
16 years 1 months ago
Massive Catalog Index based Search for e-Catalog Matching
In e-commerce environment, business partners exchange product information in the form of ecatalogs. Since each business player uses his/her own classification and identification c...
Jae-won Lee, Taehee Lee, Sangkeun Lee, Ok-Ran Jeon...
SC
2005
ACM
16 years 12 days ago
A Scalable Distributed Parallel Breadth-First Search Algorithm on BlueGene/L
Many emerging large-scale data science applications require searching large graphs distributed across multiple memories and processors. This paper presents a distributed breadth...
Andy Yoo, Edmond Chow, Keith W. Henderson, Will Mc...