268 search results - page 23 / 54 » Concurrent Systems Analysis Using ECATNets |
132
click to vote
MM
2003
ACM
15 years 7 months ago
2003
ACM
We present MuSA.RT, Opus 1, a multimodal interactive system for music analysis and visualization using the Spiral Array model. Real-time MIDI input from a live performance is proc...
121
click to vote
GFKL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Artificial systems with a high degree of autonomy require reliable semantic information about the context they operate in. State interpretation, however, is a difficult ...
140
click to vote
IWPSE
2003
IEEE
15 years 7 months ago
2003
IEEE
The dependencies and interrelations between classes and modules affect the maintainability of object-oriented systems. It is therefore important to capture weaknesses of the softw...
116
click to vote
CHARME
2001
Springer
15 years 6 months ago
2001
Springer
Model checking is the process of verifying whether a model of a concurrent system satisfies a specified temporal property. Symbolic algorithms based on Binary Decision Diagrams (BD...
129
Voted
ITSSA
2006
15 years 2 months ago
2006
Abstract. This paper presents a multi-agent approach to gene expression analysis and illustrates the working steps using real dataset produced from a microarray experiment. The ana...