Sciweavers

663 search results - page 63 / 133
» E-connections of abstract description systems
Sort
View
RIAO
2007
13 years 9 months ago
Optimizations of Local Edition for Evaluating Similarity Between Monophonic Musical Sequences
Abstract: Melody is an important property for the perceptual description of Western musical pieces. In the monophonic context, retrieval systems based on melodic similarity general...
Pierre Hanna, Pascal Ferraro
JOLLI
2010
107views more  JOLLI 2010»
13 years 6 months ago
PGF: A Portable Run-time Format for Type-theoretical Grammars
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
Krasimir Angelov, Björn Bringert, Aarne Ranta
MICS
2010
76views more  MICS 2010»
13 years 6 months ago
Mathematical Context in Interactive Documents
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...
A. M. Cohen, Hans Cuypers, R. Verrijzer
KI
2011
Springer
13 years 2 months ago
Centurio, a General Game Player: Parallel, Java- and ASP-based
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
Maximilian Möller, Marius Thomas Schneider, M...
AAMAS
2000
Springer
13 years 7 months ago
Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents
Abstract. As agents move into ever more important applications, there is a natural growth in interest in techniques for synthesizing multiagent systems. We describe an approach for...
Munindar P. Singh