Sciweavers

1075 search results - page 92 / 215
» Calculating the Number of Tunnels
Sort
View
SOSP
1997
ACM
13 years 11 months ago
Automated Hoarding for Mobile Computers
A common problem facing mobile computing is disconnected operation, or computing in the absence of a network. Hoarding eases disconnected operation by selecting a subset of the us...
Geoffrey H. Kuenning, Gerald J. Popek
FTCS
1993
87views more  FTCS 1993»
13 years 11 months ago
Disk Array Storage System Reliability
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
Walter A. Burkhard, Jai Menon
MVA
1992
124views Computer Vision» more  MVA 1992»
13 years 11 months ago
Separation of Textual and Non-textual Information within Mixed-Mode Documents
An increasing number of comfortable publishing systems nowadays leads to documents containing more than just textual information. Graphics and images are combined with text and of...
Frank Hönes, Rainer Zimmer
CAV
2010
Springer
185views Hardware» more  CAV 2010»
13 years 10 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
ICASSP
2010
IEEE
13 years 10 months ago
Cover song detection: From high scores to general classification
Existing cover song detection systems require prior knowledge of the number of cover songs in a test set in order to identify cover(s) to a reference song. We describe a system th...
Suman Ravuri, Daniel P. W. Ellis