2905 search results - page 389 / 581 » Formal Memetic Algorithms |
122
click to vote
PPDP
2005
Springer
15 years 9 months ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
126
Voted
SSD
2005
Springer
15 years 9 months ago
2005
Springer
A moving cluster is defined by a set of objects that move close to each other for a long time interval. Real-life examples are a group of migrating animals, a convoy of cars movin...
119
click to vote
VLDB
2005
ACM
15 years 9 months ago
2005
ACM
A fundamental concern of information integration in an XML context is the ability to embed one or more source documents in a target document so that (a) the target document confor...
143
click to vote
ICML
2004
IEEE
15 years 9 months ago
2004
IEEE
The paper is concerned with two-class active learning. While the common approach for collecting data in active learning is to select samples close to the classification boundary,...
136
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Regular expressions and their extensions have become a major component of industry-standard specification languages such as PSL/Sugar ([2]). The model checking procedure...