Sciweavers

1124 search results - page 83 / 225
» Refined quorum systems
Sort
View
APIN
1999
102views more  APIN 1999»
15 years 6 months ago
Constructing Information Bases Using Associative Structures
We present an approach based on knowledge medium using associative structures as a framework of information representation to gather raw information from heterogeneous information...
Harumi Maeda, Kazuto Koujitani, Toyoaki Nishida
FORMATS
2010
Springer
15 years 4 months ago
A Framework for Verification of Software with Time and Probabilities
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
VLDB
2001
ACM
153views Database» more  VLDB 2001»
15 years 10 months ago
A Fast Index for Semistructured Data
Queries navigate semistructured data via path expressions, and can be accelerated using an index. Our solution encodes paths as strings, and inserts those strings into a special i...
Brian F. Cooper, Neal Sample, Michael J. Franklin,...
JCB
2006
185views more  JCB 2006»
15 years 6 months ago
A Probabilistic Methodology for Integrating Knowledge and Experiments on Biological Networks
Biological systems are traditionally studied by focusing on a specific subsystem, building an intuitive model for it, and refining the model using results from carefully designed ...
Irit Gat-Viks, Amos Tanay, Daniela Raijman, Ron Sh...
WWW
2008
ACM
16 years 7 months ago
Pivotbrowser: a tag-space image searching prototype
We propose a novel iterative searching and refining prototype for tagged images. This prototype, named PivotBrowser, captures semantically similar tag sets in a structure called p...
Xiaoyan Li, Lidan Shou, Gang Chen, Xiaolong Zhang,...