8746 search results - page 203 / 1750 » Diversifying search results |
VMCAI
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
EOR
2007
13 years 10 months ago
2007
This paper considers the problem of designing districts for vehicle routing problems with stochastic demands. In particular, demands are assumed to be uncertain at the time when t...
SPIRE
2010
Springer
13 years 9 months ago
2010
Springer
This paper focuses on using hyperlinks in the ranking of web search results. We give a brief overview of the vast body of work in the area; we provide a quantitative comparison of ...
119
click to vote
ICDE
2008
IEEE
15 years 10 months ago
2008
IEEE
The Web has the potential to become the world’s
largest knowledge base. In order to unleash this potential,
the wealth of information available on the Web needs to be
extracte...
EDBT
2008
ACM
14 years 11 months ago
2008
ACM
Sensor networks have been widely used to collect data about the environment. When analyzing data from these systems, people tend to ask exploratory questions--they want to find su...