Sciweavers

265 search results - page 34 / 53
» Little Theories
Sort
View
GECCO
2004
Springer
14 years 28 days 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...
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
14 years 24 days 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...
COLT
2003
Springer
14 years 23 days 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
13 years 12 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...
HICSS
1999
IEEE
119views Biometrics» more  HICSS 1999»
13 years 12 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...