Sciweavers

1893 search results - page 231 / 379
» Computational composites
Sort
View
FLAIRS
2000
13 years 12 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
AAAI
1994
13 years 12 months ago
Automated Accompaniment of Musical Ensembles
' This paper describes a computer accompaniment system capable of providing musical accompaniment for an ensemble of performers. The system tracks the performance of each musi...
Lorin Grubb, Roger B. Dannenberg
IJCAI
1993
13 years 12 months ago
Anytime Sensing Planning and Action: A Practical Model for Robot Control
Anytime algorithms, whose quality of results improves gradually as computation time increases, provide useful performance components for timecritical planning and control of robot...
Shlomo Zilberstein, Stuart J. Russell
ISMB
1993
13 years 12 months ago
Protein Classification Using Neural Networks
Wehave recently described a method based on Artificial Neural Networksto cluster protein sequences into families. The network was trained with Kohonen’s unsupervised-learning al...
Edgardo A. Ferrán, Pascual Ferrara, Bernard...
GG
2008
Springer
13 years 11 months ago
High-Level Programs and Program Conditions
High-level conditions are well-suited for expressing structural properties. They can describe the precondition and the postcondition for a high-level program, but they cannot descr...
Karl Azab, Annegret Habel