Sciweavers

4198 search results - page 101 / 840
» In search of lost time
Sort
View
SAT
2010
Springer
172views Hardware» more  SAT 2010»
15 years 4 months ago
On the Relative Merits of Simple Local Search Methods for the MAX-SAT Problem
Algorithms based on local search are popular for solving many optimization problems including the maximum satisfiability problem (MAXSAT). With regard to MAXSAT, the state of the ...
Denis Pankratov, Allan Borodin
CVPR
2006
IEEE
16 years 8 months ago
Multi-Camera Scene Flow by Tracking 3-D Points and Surfels
Scene flow represents the 3-D motion of points in the scene, just as optical flow is related to their 2-D motion in the images. As opposed to classical methods which compute scene...
Frederic Devernay, Diana Mateus, Matthieu Guilbert
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
16 years 6 months ago
Power-aware Multimedia Systems using Run-time Prediction
The need for low-power multimedia processing is integral to portable and embedded devices such as cell phones, wireless terminals, multimedia handhelds and PDAs. The multimedia pr...
Pavan Kumar, Mani B. Srivastava
RECOMB
2008
Springer
16 years 6 months ago
Limitations of Pseudogenes in Identifying Gene Losses
The loss of previously established genes has been proposed as a major force in evolutionary change. While the sequencing of many new species offers the opportunity to identify case...
James C. Costello, Mira V. Han, Matthew W. Hahn
STOC
2001
ACM
151views Algorithms» more  STOC 2001»
16 years 6 months ago
Buffer overflow management in QoS switches
Abstract. We consider two types of buffering policies that are used in network switches supporting Quality of Service (QoS). In the FIFO type, packets must be transmitted in the or...
Alexander Kesselman, Zvi Lotker, Yishay Mansour, B...