6833 search results - page 1253 / 1367 » Some two-character sets |
153
click to vote
CIKM
2004
Springer
15 years 11 months ago
2004
Springer
Our work is motivated by the problem of ranking hyperlinked documents for a given query. Given an arbitrary directed graph with edge and node labels, we present a new flow-based ...
230
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
166
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
171
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software systems obey the 80/20 rule: aggressively optimizing a vital few execution paths yields large speedups. However, finding the vital few paths can be difficult, e...
190
click to vote
EMSOFT
2004
Springer
15 years 11 months ago
2004
Springer
Minimizing energy consumption is an important issue in the design of real-time embedded systems. As many embedded systems are powered by rechargeable batteries, the goal is to ext...