Sciweavers

6306 search results - page 967 / 1262
» Space, Time, and the Use of Language
Sort
View
CHI
1999
ACM
15 years 11 months ago
Visualizing Implicit Queries for Information Management and Retrieval
In this paper, we describe the use of similarity metrics in a novel visual environment for storing and retrieving favorite web pages. The similarity metrics, called Implicit Queri...
Mary Czerwinski, Susan T. Dumais, George G. Robert...
UIST
1999
ACM
15 years 11 months ago
The Information Percolator: Ambient Information Display in a Decorative Object
Most current interface designs require that the user focus their attention on them in order to be of value. However, as the price of computation falls, and computational capabilit...
Jeremy M. Heiner, Scott E. Hudson, Kenichiro Tanak...
ICDAR
1999
IEEE
15 years 11 months ago
A Two-state Markov Chain Model of Degraded Document Images
We propose a two-state Markov chain model of degraded document images. The model generates random and burst noise to simulate isolated pixel reversal as well as blurring of a larg...
Shamik Sural, P. K. Das
ARTS
1999
Springer
15 years 11 months ago
ProbVerus: Probabilistic Symbolic Model Checking
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
ISSS
1999
IEEE
120views Hardware» more  ISSS 1999»
15 years 11 months ago
RTGEN: An Algorithm for Automatic Generation of Reservation Tables from Architectural Descriptions
Abstract--Reservation Tables (RTs) have long been used to detect conflicts between operations that simultaneously access the same architectural resource. Traditionally, these RTs h...
Peter Grun, Ashok Halambi, Nikil D. Dutt, Alexandr...