1124 search results - page 44 / 225 » Refined quorum systems |
ICFEM
1997
Springer
15 years 5 months ago
1997
Springer
A calculus is presented for the stepwise refinement of abstract information flow architectures. We give a mathematical model for information flow components based on relations bet...
118
click to vote
FLAIRS
2006
15 years 3 months ago
2006
Representation is a fluent. A mismatch between the real world and an agent's representation of it can be signalled by unexpected failures (or successes) of the agent's r...
136
click to vote
PVLDB
2010
14 years 8 months ago
2010
Rule-based information extraction from text is increasingly being used to populate databases and to support structured queries on unstructured text. Specification of suitable info...
HICSS
1998
IEEE
15 years 6 months ago
1998
IEEE
Typically, users submit very simple search queries to digital document data collections. Often these queries can result in extremely broad answers or answers in which document rel...
110
click to vote
CGF
2010
15 years 2 months ago
2010
Medical volume images contain ambiguous and low-contrast boundaries around which existing fully- or semiautomatic segmentation algorithms often cause errors. In this paper, we pro...