Sciweavers

1524 search results - page 181 / 305
» The First Real Operating System for Reconfigurable Computers
Sort
View
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 9 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
SIGGRAPH
1998
ACM
15 years 8 months ago
A Multiscale Model of Adaptation and Spatial Vision for Realistic Image Display
In this paper we develop a computational model of adaptation and spatial vision for realistic tone reproduction. The model is based on a multiscale representation of pattern, lumi...
Sumanta N. Pattanaik, James A. Ferwerda, Mark D. F...
143
Voted
ICPR
2002
IEEE
16 years 5 months ago
Registration for Stereo Vision-Based Augmented Reality Based on Extendible Tracking of Markers and Natural Features
This paper describes a method to extend the registration range of a vision-based augmented reality (AR) system. We propose to use natural feature points contained in images captur...
Masayuki Kanbara, Naokazu Yokoya, Haruo Takemura
APCHI
2004
IEEE
15 years 7 months ago
Supporting Work Activities in Healthcare by Mobile Electronic Patient Records
Abstract. Supporting work activities in healthcare is highly complex and challenging. This paper outlines the findings from a usability study of a commercial PC based electronic pa...
Jesper Kjeldskov, Mikael B. Skov
VLSID
2009
IEEE
108views VLSI» more  VLSID 2009»
16 years 4 months ago
Metric Based Multi-Timescale Control for Reducing Power in Embedded Systems
Abstract--Digital control for embedded systems often requires low-power, hard real-time computation to satisfy high control-loop bandwidth, low latency, and low-power requirements....
Forrest Brewer, João Pedro Hespanha, Nitin ...