1309 search results - page 179 / 262 » Approaching Optimality for Solving SDD Linear Systems |
172
click to vote
ATAL
2009
Springer
16 years 6 days ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
156
click to vote
VALUETOOLS
2006
ACM
15 years 11 months ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
189
Voted
PLANX
2007
15 years 7 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
139
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
142
Voted
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
Wireplanning is an approach in which the timing of inputoutput paths is planned before modules are specified, synthesized or sized. If these global wires are optimally segmented ...