1679 search results - page 146 / 336 » Strong order equivalence |
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
Abstract— This paper propose a channel estimation technique for multiple-input multiple-output (MIMO) - orthogonal frequency division multiplexing (OFDM) / time division multiple...
ML
2006
ACM
14 years 3 months ago
2006
ACM
Hash-consing is a technique to share values that are structurally equal. Beyond the obvious advantage of saving memory blocks, hash-consing may also be used to speed up fundamenta...
ICCD
2005
IEEE
14 years 2 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
CAISE
2005
Springer
14 years 2 months ago
2005
Springer
Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed system...
EKAW
2004
Springer
14 years 2 months ago
2004
Springer
Motivated by the need to extend features of semantic matchmaking between request and offer descriptions, a model is presented that exploits recently proposed non-standard inference...