2041 search results - page 39 / 409 » Modelling Generic Judgements |
122
Voted
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
143
Voted
EWSN
2006
Springer
16 years 2 months ago
2006
Springer
Energy-aware algorithms have proven to be a crucial part of sensor network applications, especially if they are required to operate for extended periods of time. Among these, effic...
124
click to vote
CAISE
2007
Springer
15 years 8 months ago
2007
Springer
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
100
Voted
CP
1997
Springer
15 years 6 months ago
1997
Springer
This paper describes the combination of a well-known tsp heuristic, genius, with a constraint programming model for routing problems. The result, genius-cp, is an e cient heuristic...
122
Voted
ICTIR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. While the Probability Ranking Principle for Information Retrieval provides the basis for formal models, it makes a very strong assumption regarding the dependence between...