2470 search results - page 132 / 494 » Liveness-Preserving Simulation Relations |
105
click to vote
ECIR
2010
Springer
15 years 2 months ago
2010
Springer
Queries submitted to a retrieval system are often ambiguous. In such a situation, a sensible strategy is to diversify the ranking of results to be retrieved, in the hope that users...
LREC
2008
15 years 2 months ago
2008
The paper presents two experiments of unsupervised classification of Italian noun phrases. The goal of the experiments is to identify the most prominent contextual properties that...
105
Voted
PEWASUN
2008
ACM
15 years 2 months ago
2008
ACM
Researches around wireless sensor network (WSN) were very prolific recently. However, traffic modeling related WSN research was poorly less. In this paper, source traffic dynamics...
122
Voted
WSC
2001
15 years 2 months ago
2001
We address performance issues associated with simulationbased algorithms for optimizing Markov reward processes. Specifically, we are concerned with algorithms that exploit the re...
91
Voted
WSC
2004
15 years 2 months ago
2004
Traditional approaches to security evaluation have been based on penetration testing of real systems, or analysis of formal models of such systems. The former suffer from the prob...