2303 search results - page 374 / 461 » On the logic of argumentation theory |
241
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
161
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
Many applications today need to manage large data sets with uncertainties. In this paper we describe the foundations of managing data where the uncertainties are quantified as pro...
167
click to vote
PERCOM
2007
ACM
16 years 6 months ago
2007
ACM
This paper investigates the role of existing "probabilistic" schemes to reason about various everyday situations on the basis of data from multiple heterogeneous physical...
146
click to vote
LATA
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between structures that have some desired property and those that are far from having the property, after examining only a...
149
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Redundancy-addition-and-removal is a rewiring technique which for a given target wire wt finds a redundant alternative wire wa. Addition of wa makes wt redundant and hence removab...