1246 search results - page 156 / 250 » Activity Modeling Using Event Probability Sequences |
139
Voted
AGTIVE
2007
Springer
15 years 9 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
139
Voted
ISMIR
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a novel drum transcription system for polyphonic music. The use of a band-wise harmonic/noise decomposition allows the suppression of the deterministic part of...
145
Voted
RSP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
109
Voted
ER
1999
Springer
15 years 7 months ago
1999
Springer
We propose a method for modeling complex Web sources that have active user interaction requirements. Here active" refers to the fact that certain information in these sources ...
142
Voted
BMCBI
2007
15 years 2 months ago
2007
Background: Experimental studies of gene expression have identified some of the individual molecular components and elementary reactions that comprise and control cellular behavio...