6881 search results - page 1126 / 1377 » Motivation |
187
click to vote
CIKM
2004
Springer
16 years 20 days 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 ...
212
click to vote
CONCUR
2004
Springer
16 years 20 days ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
195
click to vote
CP
2004
Springer
16 years 20 days ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
183
click to vote
DEXA
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. The ever-increasing popularity of peer-to-peer (P2P) systems provides a strong motivation for designing a dependable P2P system. Dependability in P2P systems can be viewe...
184
click to vote
ECAI
2004
Springer
16 years 20 days ago
2004
Springer
Recent work has shown the promise in using local-search “probes” as a basis for directing a backtracking-based refinement search. In this approach, the decision about the next...