3441 search results - page 616 / 689 » Intelligent Computation of Presentation Documents |
149
click to vote
CP
2007
Springer
16 years 14 days ago
2007
Springer
Shaving and constructive disjunction are two main refutation principles used in constraint programming. The shaving principle allows us to compute the singleton arc-consistency (SA...
181
click to vote
EPIA
2007
Springer
16 years 14 days ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
154
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
Artiļ¬cial immune systems have previously been applied to the problem of intrusion detection. The aim of this research is to develop an intrusion detection system based on the fu...
146
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
This paper presents a novel approach to the problem of automatic music transcription using electronic synthesis with genetic algorithms. Although the problem is well known and diļ...
166
click to vote
GECCO
2007
Springer
16 years 13 days ago
2007
Springer
A novel optimisation accelerator deploying neural network predictions and objective space direct manipulation strategies is presented. The concept of directing the search through ...