Sciweavers

4463 search results - page 657 / 893
» computer 2000
Sort
View
DSN
2000
IEEE
15 years 8 months ago
Executable Assertions for Detecting Data Errors in Embedded Control Systems
In order to be able to tolerate the effects of faults, we must first detect the symptoms of faults, i.e. the errors. This paper evaluates the error detection properties of an erro...
Martin Hiller
FOCS
2000
IEEE
15 years 8 months ago
The Randomness Recycler: A New Technique for Perfect Sampling
For many probability distributions of interest, it is quite difficult to obtain samples efficiently. Often, Markov chains are employed to obtain approximately random samples fro...
James Allen Fill, Mark Huber
FOCS
2000
IEEE
15 years 8 months ago
Efficient Algorithms for Universal Portfolios
A constant rebalanced portfolio is an investment strategy that keeps the same distribution of wealth among a set of stocks from day to day. There has been much work on Cover'...
Adam Kalai, Santosh Vempala
CHI
2000
ACM
15 years 8 months ago
Instrumental interaction: an interaction model for designing post-WIMP user interfaces
This article introduces a new interaction model called Instrumental Interaction that extends and generalizes the principles of direct manipulation. It covers existing interaction ...
Michel Beaudouin-Lafon
ICPR
2000
IEEE
16 years 5 months ago
Novelty Detection in Airframe Strain Data
The structural health of airframes is often monitored by analysis of the frequency of occurrence matrix (FOOM) produced after each flight. Each cell in the matrix records a stress...
Simon J. Hickinbotham, James Austin