Sciweavers

5348 search results - page 126 / 1070
» Models for the Compressible Web
Sort
View
HCI
2007
14 years 11 months ago
Kalman Filtering in the Design of Eye-Gaze-Guided Computer Interfaces
Abstract. In this paper, we design an Attention Focus Kalman Filter (AFKF) a framework that offers interaction capabilities by constructing an eyemovement language, provides real-t...
Oleg Komogortsev, Javed I. Khan
WCE
2007
14 years 11 months ago
Numerical Simulation of Impacts involving a Collapsible Nonlinear Multilayer Structure
—A numerical model for the simulation of dynamic compression of a nonlinear multilayer structure subjected to transient compressive excitation is described and tested. It is show...
Michael A. Sek
CORR
2008
Springer
58views Education» more  CORR 2008»
14 years 10 months ago
Tight Bounds on Minimum Maximum Pointwise Redundancy
This paper presents new lower and upper bounds for the optimal compression of binary prefix codes in terms of the most probable input symbol, where compression efficiency is determ...
Michael Baer
ASPDAC
2010
ACM
170views Hardware» more  ASPDAC 2010»
14 years 8 months ago
A 60GHz direct-conversion transmitter in 65nm CMOS technology
This paper presents a 60 GHz direct-conversion transmitter in 65 nm CMOS technology. The power amplifier consists of 4-stage transistors. The circuit model of de-coupling capacitor...
Naoki Takayama, Kota Matsushita, Shogo Ito, Ning L...
ICWE
2007
Springer
15 years 4 months ago
Tool Support for Model Checking of Web Application Designs
: In this work we report our experience in applying model checking techniques to the analysis of static and dynamic properties of Web application models. We propose a mix of tools ...
Marco Brambilla, Jordi Cabot, Nathalie Moreno