Sciweavers

2335 search results - page 239 / 467
» Type Checking Type Classes
Sort
View
WADS
2007
Springer
106views Algorithms» more  WADS 2007»
14 years 4 months ago
Maximizing Maximal Angles for Plane Straight-Line Graphs
Let G = (S, E) be a plane straight-line graph on a finite point set S ⊂ R2 in general position. The incident angles of a point p ∈ S in G are the angles between any two edges ...
Oswin Aichholzer, Thomas Hackl, Michael Hoffmann, ...
ISIPTA
2005
IEEE
123views Mathematics» more  ISIPTA 2005»
14 years 4 months ago
On Coherent Variability Measures and Conditioning
Coherent upper and lower previsions are becoming more and more popular as a mathematical model for robust valuations under uncertainty. Likewise, the mathematically equivalent cla...
Sebastian Maaß
GECCO
2005
Springer
132views Optimization» more  GECCO 2005»
14 years 4 months ago
Dormant program nodes and the efficiency of genetic programming
In genetic programming, there is a tendency for individuals in a population to accumulate fragments of code – often called introns – which are redundant in the fitness evaluat...
David Jackson
PREMI
2005
Springer
14 years 4 months ago
Towards Generic Pattern Mining
Frequent Pattern Mining (FPM) is a very powerful paradigm for mining informative and useful patterns in massive, complex datasets. In this paper we propose the Data Mining Template...
Mohammed Javeed Zaki, Nilanjana De, Feng Gao, Nage...
ACRI
2004
Springer
14 years 4 months ago
Searching for Pattern-Forming Asynchronous Cellular Automata - An Evolutionary Approach
This paper discusses a class of 2-dimensional asynchronous cellular automata with conservation of mass, for the formation of patterns in groups. The previous study reported a metho...
Tomoaki Suzudo