6045 search results - page 129 / 1209 » Computable Linearizations of Well-partial-orderings |
CONCUR
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We consider linear time temporal logic enriched with semiextended regular expressions through various operators that have been proposed in the literature, in particular i...
ICA
2007
Springer
14 years 2 months ago
2007
Springer
Blind source extraction (BSE) is of advantages over blind source separation (BSS) when obtaining some underlying source signals from high dimensional observed signals. Among a vari...
ICCS
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we deal with performance analysis of Monte Carlo algorithm for large linear algebra problems. We consider applicability and efficiency of the Markov chain Monte Carlo...
ETS
2006
IEEE
14 years 2 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Mobile communication systems based on DS-CDMA suffer from multiple access interference (MAI), which limits the system capacity. Several techniques, such as beamforming with mul...