1448 search results - page 158 / 290 » Restricted Stack Implementations |
MOZ
2004
Springer
14 years 1 months ago
2004
Springer
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
ROBOCUP
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes the joint approach of three research groups to enable a heterogeneous team of robots to exchange belief. The communication framework presented imposes little r...
WABI
2004
Springer
14 years 1 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
We propose a method for local search of Boolean relations relating variables of a CNF formula. The method is to branch on small subsets of the set of CNF variables and to analyze ...
DEXAW
2003
IEEE
14 years 1 months ago
2003
IEEE
The development of large software systems is a typical example for collaborative development efforts. Moreover, software development becomes more and more componentoriented. The s...