2501 search results - page 310 / 501 » Logics with Rank Operators |
167
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
154
Voted
EVOW
2009
Springer
15 years 12 months ago
2009
Springer
We present a hybrid evolutionary algorithm for the graph coloring problem (Evocol). Evocol is based on two simple-but-effective ideas. First, we use an enhanced crossover that col...
137
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present a multi-level recognizer for online Arabic handwriting. In Arabic script (handwritten and printed), cursive writing – is not a style – it is an inher...
139
click to vote
DSN
2008
IEEE
15 years 11 months ago
2008
IEEE
This research investigates the automation of security assessment of the static and dynamic properties of cyberinfrastructures, with emphasis on the electrical power grid. We descr...
106
Voted
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents a simple and generic indicator-based multi-objective local search. This algorithm is a direct extension of the IBEA algorithm, an indicatorbased evolutionar...