1746 search results - page 255 / 350 » Recent Developments in Algorithmic Teaching |
138
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to ...
121
Voted
EEE
2004
IEEE
15 years 6 months ago
2004
IEEE
E-Services are becoming as promising technology for the effective automation of application integration across Web. They build upon XML, as data format for exchanging messages bet...
139
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
In this paper we investigate the use of preprocessing when solving Quantified Boolean Formulas (QBF). Many different problems can be efficiently encoded as QBF instances, and there...
128
click to vote
EDBTW
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Recent research efforts in the fields of data stream processing and data stream management systems (DSMSs) show the increasing importance of processing data streams, e. g...
109
click to vote
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
The Layered Pareto Coevolution Archive (LAPCA) was recently proposed as an effective Coevolutionary Memory (CM) which, under certain assumptions, approximates monotonic progress i...