Sciweavers

4836 search results - page 350 / 968
» Exploring the Similarity Space
Sort
View
ASSETS
2000
ACM
15 years 12 months ago
A framework of assistive pointers for low vision users
Manipulating a mouse pointer is often difficult for the low vision computer user. Working with such a small, mobile screen object is very visually demanding. Although several tech...
Julie Fraser, Carl Gutwin
DIGITALCITIES
2000
Springer
15 years 12 months ago
Understanding Digital Cities
As a platform for community networks, information spaces using the city metaphor are being developed in worldwide. This paper comparesthe trials of digital cities. Four digital cit...
Toru Ishida
CAV
1998
Springer
98views Hardware» more  CAV 1998»
15 years 11 months ago
Verification of Timed Systems Using POSETs
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
Wendy Belluomini, Chris J. Myers
ECML
2007
Springer
15 years 11 months ago
Efficient Continuous-Time Reinforcement Learning with Adaptive State Graphs
Abstract. We present a new reinforcement learning approach for deterministic continuous control problems in environments with unknown, arbitrary reward functions. The difficulty of...
Gerhard Neumann, Michael Pfeiffer, Wolfgang Maass
PEPM
2000
ACM
15 years 11 months ago
From Recursion to Iteration: What are the Optimizations?
Transforming recursion into iteration eliminates the use of stack frames during program execution. It has been studied extensively. This paper describes a powerful and systematic ...
Yanhong A. Liu, Scott D. Stoller