Sciweavers

152 search results - page 9 / 31
» An Experimental Study of Random Knapsack Problems
Sort
View
SAT
2005
Springer
104views Hardware» more  SAT 2005»
14 years 6 days ago
Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming
We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simul...
Marijn Heule, Hans van Maaren
COR
2007
157views more  COR 2007»
13 years 6 months ago
A decision support system for the single-depot vehicle rescheduling problem
Disruptions in trips can prevent vehicles from executing their schedules as planned. Mechanical failures, accidents, and traffic congestion often hinder a vehicle schedule. When a...
Jing-Quan Li, Denis Borenstein, Pitu B. Mirchandan...
AISC
2008
Springer
13 years 8 months ago
Strategies for Solving SAT in Grids by Randomized Search
Grid computing offers a promising approach to solving challenging computational problems in an environment consisting of a large number of easily accessible resources. In this pape...
Antti Eero Johannes Hyvärinen, Tommi A. Juntt...
ECAI
2010
Springer
13 years 4 months ago
Continuous Conditional Random Fields for Regression in Remote Sensing
Conditional random fields (CRF) are widely used for predicting output variables that have some internal structure. Most of the CRF research has been done on structured classificati...
Vladan Radosavljevic, Slobodan Vucetic, Zoran Obra...
SIGMOD
1999
ACM
87views Database» more  SIGMOD 1999»
13 years 11 months ago
On Random Sampling over Joins
A major bottleneck in implementing sampling as a primitive relational operation is the ine ciency ofsampling the output of a query. It is not even known whether it is possible to ...
Surajit Chaudhuri, Rajeev Motwani, Vivek R. Narasa...