2588 search results - page 271 / 518 » Swarm Intelligence: From Natural to Artificial Systems |
239
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...
180
click to vote
ICTAI
1996
IEEE
15 years 10 months ago
1996
IEEE
The goal of this work is to derive four-voice music pieces from given musical plans, which describe the harmonic flow and the intentions of a desired composition. We developed the...
175
click to vote
KI
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
215
click to vote
AGP
2010
IEEE
15 years 10 months ago
2010
IEEE
We present an overview of the program transformation techniques which have been proposed over the past twenty-five years in the context of logic programming. We consider the appro...
162
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper describes and compares the use of methods based on Ngrams (specifically trigrams and pentagrams), together with five features, to recognise the syntactic and s...