Sciweavers

265 search results - page 34 / 53
» Little Theories
Sort
View
70
Voted
GECCO
2004
Springer
15 years 2 months ago
On the Strength of Size Limits in Linear Genetic Programming
Abstract. Bloat is a common and well studied problem in genetic programming. Size and depth limits are often used to combat bloat, but to date there has been little detailed explor...
Nicholas Freitag McPhee, Alex Jarvis, Ellery Fusse...
83
Voted
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 2 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...
93
Voted
COLT
2003
Springer
15 years 2 months ago
Sequence Prediction Based on Monotone Complexity
This paper studies sequence prediction based on the monotone Kolmogorov complexity Km=−log m, i.e. based on universal deterministic/one-part MDL. m is extremely close to Solomon...
Marcus Hutter
CSFW
1999
IEEE
15 years 1 months ago
A Meta-Notation for Protocol Analysis
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln...
88
Voted
HICSS
1999
IEEE
119views Biometrics» more  HICSS 1999»
15 years 1 months ago
Websites that Satisfy Users: A Theoretical Framework for Web User Interface Design and Evaluation
With the fast development and increasing use of the World Wide Web as both an information seeking and an electronic commerce tool, web usability studies grow in importance. While ...
Ping Zhang 0002, Ruth V. Small, Gisela M. von Dran...