221 search results - page 9 / 45 » Algebraic Stuttering Simulations |
ICFEM
1998
Springer
13 years 12 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
FOSSACS
2006
Springer
13 years 11 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
EURODAC
1994
IEEE
13 years 12 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
TSP
2008
13 years 7 months ago
2008
In this paper, we present a powerful technique for the blind extraction of direct-sequence code-division multiple access (DS-CDMA) signals from convolutive mixtures received by an ...
ICASSP
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper, we show that the problem of detection and localization of multiple targets in a bistatic MIMO radar system can be solved by Parallel Factor (PARAFAC) analysis. Our ...