14642 search results - page 2777 / 2929 » It's Time for a Change |
143
click to vote
CAEPIA
2007
Springer
16 years 20 days ago
2007
Springer
We introduce a non-admissible heuristic for planning with action costs, called the set-additive heuristic, that combines the benefits of the additive heuristic used in the HSP pla...
162
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
In this paper, we define and explore proofs of retrievability (PORs). A POR scheme enables an archive or back-up service (prover) to produce a concise proof that a user (verifier...
151
click to vote
CIKM
2007
Springer
16 years 20 days ago
2007
Springer
The problem of results merging in distributed information retrieval environments has been approached by two different directions in research. Estimation approaches attempt to cal...
159
click to vote
CIKM
2007
Springer
16 years 20 days ago
2007
Springer
Emails are one of the most commonly used modern communication media these days; however, unsolicited emails obstruct this otherwise fast and convenient technology for information ...
214
click to vote
CMSB
2007
Springer
16 years 20 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...