Sciweavers

1192 search results - page 106 / 239
» Computing Weakest Readings
Sort
View
124
Voted
PPAM
2005
Springer
15 years 9 months ago
Checkpointing Speculative Distributed Shared Memory
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...
Arkadiusz Danilecki, Anna Kobusinska, Michal Szych...
100
Voted
SIGIR
2004
ACM
15 years 9 months ago
Implicit queries (IQ) for contextualized search
The Implicit Query (IQ) prototype is a system which automatically generates context-sensitive searches based on a user’s current computing activities. In the demo, we show IQ ru...
Susan T. Dumais, Edward Cutrell, Raman Sarin, Eric...
ECCV
2004
Springer
15 years 9 months ago
Statistical Imaging for Modeling and Identification of Bacterial Types
An automatic tool is developed to identify microbiological data types using computer-vision and statistical modeling techniques. In bacteriophage (phage) typing, representative pro...
Sigal Trattner, Hayit Greenspan, Gabi Tepper, Shim...
125
Voted
NIME
2004
Springer
155views Music» more  NIME 2004»
15 years 9 months ago
A New Mix of Forgotten Technology: Sound Generation, Sequencing and Performance Using an Optical Turntable
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
Nikita Pashenkov
141
Voted
RTA
2004
Springer
15 years 9 months ago
TORPA: Termination of Rewriting Proved Automatically
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
Hans Zantema