1436 search results - page 163 / 288 » Improved results for directed multicut |
157
click to vote
AMW
2010
15 years 8 months ago
2010
Abstract. A large volume of data with complex structures is currently represented in GML (Geography Markup Language) for storing and exchanging geographic information. As the size ...
130
click to vote
AIPS
2004
15 years 7 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
164
click to vote
TC
2008
15 years 6 months ago
2008
Compared to higher-precision data formats, lower-precision data formats result in higher performance for computationally intensive applications on FPGAs because of their lower res...
183
click to vote
P2P
2010
IEEE
15 years 4 months ago
2010
IEEE
Although Tor is the most widely used overlay for providing anonymity services, its users often experience very high delays. Because much of Tor usage is for Web applications, which...
282
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
We present PowerDial, a system for dynamically adapting application behavior to execute successfully in the face of load and power fluctuations. PowerDial transforms static conï¬...