Sciweavers

423 search results - page 35 / 85
» On Term Rewriting Systems Having a Rational Derivation
Sort
View
IEEEARES
2009
IEEE
15 years 4 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
15 years 4 months 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 2 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
15 years 4 months 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
14 years 11 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