Sciweavers

2735 search results - page 323 / 547
» Comparing notions of randomness
Sort
View
88
Voted
ATAL
2006
Springer
15 years 4 months ago
Strategic voting when aggregating partially ordered preferences
Preferences of a single agent are often partially ordered. For example, it may be hard to compare a novel with a biography. In such a situation, the agent may want the novel and t...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
FMCAD
2004
Springer
15 years 4 months ago
A Simple Method for Parameterized Verification of Cache Coherence Protocols
Abstract. We present a simple method for verifying the safety properties of cache coherence protocols with arbitrarily many nodes. Our presentation begins with two examples. The fi...
Ching-Tsun Chou, Phanindra K. Mannava, Seungjoon P...
ECAI
2006
Springer
15 years 4 months ago
A Multivalued Logic Model of Planning
Abstract. In this work a model for planning with multivalued fluents and graded actions, based on the infinite valued Lukasiewicz logic, is introduced. In multivalued planning, flu...
Marco Baioletti, Alfredo Milani, Valentina Poggion...
85
Voted
GECCO
2000
Springer
156views Optimization» more  GECCO 2000»
15 years 4 months ago
Optimal Mutation Rates and Selection Pressure in Genetic Algorithms
It has been argued that optimal per-locus mutation rates in GAs are proportional to selection pressure and the reciprocal of genotype length. In this paper we suggest that the not...
Gabriela Ochoa, Inman Harvey, Hilary Buxton
108
Voted
SPATIALCOGNITION
2000
Springer
15 years 4 months ago
Modelling Navigational Knowledge by Route Graphs
Navigation has always been an interdisciplinary topic of research, because mobile agents of different types are inevitably faced with similar navigational problems. Therefore, huma...
Steffen Werner, Bernd Krieg-Brückner, Theo He...