Sciweavers

4248 search results - page 487 / 850
» Simulating hci for all
Sort
View
162
Voted
ROBIO
2006
IEEE
120views Robotics» more  ROBIO 2006»
16 years 26 days ago
Event Based Methodology for SuperMedia Enhanced Teleoperation
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
Yang Liu, Amit Goradia, Yonghui Xue, Ning Xi
182
Voted
RTSS
2006
IEEE
16 years 26 days ago
An Optimal Real-Time Scheduling Algorithm for Multiprocessors
We present an optimal real-time scheduling algorithm for multiprocessors — one that satisfies all task deadlines, when the total utilization demand does not exceed the utilizat...
Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen
178
Voted
SECPERU
2006
IEEE
16 years 26 days ago
An Effective Approach for Accurate Estimation of Trust of Distant Information Sources in the Semantic Web
To assess the trustworthiness of the information published in the World Wide Web referrals are often employed. This is due to the fact that most information sources are visited on...
Vangelis G. Bintzios, Thanasis G. Papaioannou, Geo...
SEFM
2006
IEEE
16 years 26 days ago
A PVS Based Framework for Validating Compiler Optimizations
An optimization can be specified as sequential compositions of predefined transformation primitives. For each primitive, we can define soundness conditions which guarantee that th...
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
VTC
2006
IEEE
124views Communications» more  VTC 2006»
16 years 26 days ago
Linear Dispersion for Single-Carrier Communications in Frequency Selective Channels
Abstract— Linear dispersion coded orthogonal frequency division multiplexing (LDC-OFDM) has recently been proposed to improve joint frequency and time diversity. This paper inves...
Jinsong Wu, Steven D. Blostein