Sciweavers

1699 search results - page 253 / 340
» On the Expressive Power of QLTL
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
16 years 12 days ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
GLOBECOM
2007
IEEE
16 years 12 days ago
Reduced Complexity Sequence Detection of Continuous Phase Modulation Represented as the Linear Superposition of Amplitude Modula
The Laurent Decomposition expresses any binary single-h CPM waveform as the summation of a finite number of pulse amplitude modulated components, and this result has been useful i...
Marilynn P. Wylie-Green, Erik Perrins
ICC
2007
IEEE
182views Communications» more  ICC 2007»
16 years 12 days ago
BER Analysis of MIMO-SVD Systems with Channel Estimation Error and Feedback Delay
— This paper analyzes the average bit error rate (BER) performance of singular value decomposition-based multiple-input multiple-output systems with channel estimation error and ...
Edward K. S. Au, Shi Jin, Matthew R. McKay, Wai Ho...
ICC
2007
IEEE
121views Communications» more  ICC 2007»
16 years 11 days ago
BER Analysis in A Generalized UWB Frequency Selective Fading Channel With Randomly Arriving Clusters and Rays
— In this paper, we present an analytical method to evaluate the bit error rate (BER) of the ultra-wideband (UWB) system in the IEEE 802.15.4a standardized channel model. The IEE...
Wei-Cheng Liu, Li-Chun Wang
ICTAI
2007
IEEE
16 years 11 days ago
Semantic Web: The Story So Far
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
Ian Horrocks