Sciweavers

423 search results - page 35 / 85
» On Term Rewriting Systems Having a Rational Derivation
Sort
View
IEEEARES
2009
IEEE
16 years 1 months ago
Accuracy: The Fundamental Requirement for Voting Systems
—There have been several attempts to develop a comprehensive account of the requirements for voting systems, particularly for public elections. Typically, these approaches identi...
Tim Storer, Russell Lock
ICC
2007
IEEE
16 years 15 days ago
On the Impact of Ignoring Markovian Channel Memory on the Analysis of Wireless Systems
– Recent wireless measurement studies have revealed the presence of high-order memory in wireless bit-error channels. However, most wireless studies continue to employ the memory...
Syed A. Khayam, Hayder Radha
MHCI
2009
Springer
15 years 10 months ago
User experience with in-car GPS navigation systems: comparing the young and elderly drivers
This paper outlines the design requirements of a GPS car navigation system for the elderly and the young by proposing a set of new guidelines for designing such systems. Our study...
Abdullah Al Mahmud, Omar Mubin, Suleman Shahid
GLOBECOM
2009
IEEE
16 years 28 days ago
Slepian-Based Serial Estimation of Time-Frequency Variant Channels for MIMO-OFDM Systems
Abstract—This paper proposes a low-complexity twodimensional channel estimator for MIMO-OFDM systems derived from a time-frequency variant channel estimator previously proposed. ...
Pierluigi Salvo Rossi, Ralf R. Muller, Ove Edfors
ATAL
2008
Springer
15 years 8 months ago
eCAT: a tool for automating test cases generation and execution in testing multi-agent systems
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
Duy Cu Nguyen, Anna Perini, Paolo Tonella