4485 search results - page 51 / 897 » Equivalences on Observable Processes |
ICIP
1995
IEEE
14 years 10 months ago
1995
IEEE
Magnetic resonance spectroscopic imaging (MRSI) is a type of MRI in which both spatial and spectral information are gathered. Unfortunately, the time required to acquire a high-re...
IFIP12
2004
13 years 10 months ago
2004
Recent years have seen considerable developments in modeling techniques for automatic fault location in programs. However, much of this research considered the models from a standa...
DSS
2006
13 years 8 months ago
2006
Inspired by the way SAP R/3 and other transactional information systems log events, we focus on the problem to decide whether a process model and a frequency profile "fit"...
ICASSP
2011
IEEE
13 years 12 days ago
2011
IEEE
This paper studies system identification of ARMA models whose outputs are subject to finite-level quantization and random packet dropouts. A simple adaptive quantizer and the co...
ICLP
2003
Springer
14 years 1 months ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...