Sciweavers

2089 search results - page 360 / 418
» A New Problem in String Searching
Sort
View
ER
1998
Springer
100views Database» more  ER 1998»
15 years 2 months ago
Designing Well-Structured Websites: Lessons to Be Learned from Database Schema Methodology
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
Olga De Troyer
CHI
1997
ACM
15 years 2 months ago
Dynomite: A Dynamically Organized Ink and Audio Notebook
Dynomite is a portable electronic notebook for the capture and retrieval of handwritten and audio notes. The goal of Dynomite is to merge the organization, search, and data acquis...
Lynn Wilcox, Bill N. Schilit, Nitin "Nick" Sawhney
ICS
1993
Tsinghua U.
15 years 1 months ago
Dynamic Control of Performance Monitoring on Large Scale Parallel Systems
Performance monitoring of large scale parallel computers creates a dilemma: we need to collect detailed information to find performance bottlenecks, yet collecting all this data ...
Jeffrey K. Hollingsworth, Barton P. Miller
DSN
2007
IEEE
15 years 1 months ago
Automatic Verification and Discovery of Byzantine Consensus Protocols
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
Piotr Zielinski
ESWS
2007
Springer
15 years 1 months ago
Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams
We propose to design and study new techniques for description logic (DL) reasoning based on a prominent data structure that has been applied very successfully in various domains in...
Uwe Keller