603 search results - page 100 / 121 » A General Approximation Technique for Constrained Forest Pro... |
103
click to vote
DASFAA
2003
IEEE
15 years 5 months ago
2003
IEEE
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
AAAI
2007
15 years 2 months ago
2007
Recent work on online auctions for digital goods has explored the role of optimal stopping theory — particularly secretary problems — in the design of approximately optimal on...
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
When program verification tools fail to verify a program, either the program is buggy or the report is a false alarm. In this situation, the burden is on the user to manually cla...
113
click to vote
CCS
2007
ACM
15 years 3 months ago
2007
ACM
Remotely-launched software exploits are a common way for attackers to intrude into vulnerable computer systems. As detection techniques improve, remote exploitation techniques are...
110
click to vote
SIGECOM
2004
ACM
15 years 5 months ago
2004
ACM
In this paper, we combine two approaches to handling uncertainty: we use techniques for finding optimal solutions in the expected sense to solve combinatorial optimization proble...