469 search results - page 35 / 94 » Physical Search Problems Applying Economic Search Models |
ECBS
2009
IEEE
15 years 8 months ago
2009
IEEE
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
123
click to vote
ICRA
2006
IEEE
15 years 7 months ago
2006
IEEE
ACT Search and rescue robots often use tethers to provide power and communication, but tethers get caught on debris and small robots have difficulty with the added drag of the tet...
93
Voted
GLVLSI
2005
IEEE
15 years 7 months ago
2005
IEEE
Boolean Satisfiability (SAT) solvers are popular engines used throughout the verification world. Bounded sequential problems such as bounded model checking and bounded sequentia...
114
click to vote
SIGMOD
2001
ACM
16 years 2 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
130
Voted
ESEM
2008
ACM
15 years 3 months ago
2008
ACM
Building cost estimation models is often considered a search problem in which the solver should return an optimal solution satisfying an objective function. This solution also nee...