Sciweavers

152 search results - page 9 / 31
» An Experimental Study of Random Knapsack Problems
Sort
View
102
Voted
SAT
2005
Springer
104views Hardware» more  SAT 2005»
15 years 6 months 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
110
Voted
COR
2007
157views more  COR 2007»
15 years 12 days 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
15 years 2 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...
131
Voted
ECAI
2010
Springer
14 years 10 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»
15 years 4 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...