Sciweavers

2632 search results - page 398 / 527
» Alternating Timed Automata
Sort
View
ISCC
2000
IEEE
104views Communications» more  ISCC 2000»
15 years 6 months ago
Dynamic Routing and Wavelength Assignment Using First Policy Iteration
With standard assumptions the routing and wavelength assignment problem (RWA) can be viewed as a Markov Decision Process (MDP). The problem, however, defies an exact solution bec...
Esa Hyytiä, Jorma T. Virtamo
ASSETS
2000
ACM
15 years 6 months ago
Neck range of motion and use of computer head controls
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...
Edmund F. LoPresti, David M. Brienza, Jennifer Ang...
UIST
2000
ACM
15 years 6 months ago
Speed-dependent automatic zooming for browsing large documents
We propose a navigation technique for browsing large documents that integrates rate-based scrolling with automatic zooming. The view automatically zooms out when the user scrolls ...
Takeo Igarashi, Ken Hinckley
DATE
2010
IEEE
148views Hardware» more  DATE 2010»
15 years 6 months ago
Scoped identifiers for efficient bit aligned logging
Abstract--Detailed diagnostic data is a prerequisite for debugging problems and understanding runtime performance in distributed wireless embedded systems. Severe bandwidth limitat...
Roy Shea, Mani B. Srivastava, Young Cho
FOCS
1999
IEEE
15 years 6 months ago
Boosting and Hard-Core Sets
This paper connects two fundamental ideas from theoretical computer science: hard-core set construction, a type of hardness amplification from computational complexity, and boosti...
Adam Klivans, Rocco A. Servedio