Sciweavers

1893 search results - page 231 / 379
» Computational composites
Sort
View
FLAIRS
2000
15 years 2 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...
84
Voted
AAAI
1994
15 years 2 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
116
Voted
IJCAI
1993
15 years 2 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
96
Voted
ISMB
1993
15 years 2 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...
89
Voted
GG
2008
Springer
15 years 1 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