5130 search results - page 881 / 1026 » Constraint Query Languages |
123
Voted
HYBRID
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
126
click to vote
ITS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an approach to the design of a learning environment in a mathematical domain (elementary combinatorics) where problem solving is based more on modelling than o...
163
Voted
ACMACE
2008
ACM
15 years 5 months ago
2008
ACM
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
155
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
125
click to vote
PADL
2010
Springer
15 years 5 months ago
2010
Springer
Newer Prolog implementations commonly offer support for multi-threading, and have also begun to offer support for tabling. However, most implementations do not yet integrate tablin...