722 search results - page 18 / 145 » The State Operator in Real Time Process Algebra |
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
We present a methodology for the real time alignment of music signals using sequential Montecarlo inference techniques. The alignment problem is formulated as the state tracking o...
BMCBI
2005
14 years 11 months ago
2005
Background: Currently real time PCR is the most precise method by which to measure gene expression. The method generates a large amount of raw numerical data and processing may no...
DMIN
2009
14 years 9 months ago
2009
This paper proposes a new method to detect abnormal process state. The method is based on cluster center point monitoring in time and is demonstrated in its application to data fro...
115
click to vote
RTSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Real-time databases are needed in security-critical applications, e.g., e-commerce, agile manufacturing, and military applications. In these applications, transactions and data it...
JLP
2006
14 years 11 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...