PROPERTYTESTING
2010
13 years 9 months ago
2010
We survey known results regarding locally testable codes and locally testable proofs (known as PCPs), with emphasis on the length of these constructs. Local testability refers to a...
PROPERTYTESTING
2010
13 years 9 months ago
2010
PROPERTYTESTING
2010
13 years 9 months ago
2010
PROPERTYTESTING
2010
13 years 9 months ago
2010
We survey results on transitive-closure spanners and their applications. Given a directed graph G = (V, E) and an integer k 1, a k-transitive-closure-spanner (k-TC-spanner) of G ...
PDC
2010
ACM
13 years 9 months ago
2010
ACM
MFCS
2010
Springer
13 years 9 months ago
2010
Springer
We consider Boolean exact threshold functions defined by linear equations, and in general degree d polynomials. We give upper and lower bounds on the maximum magnitude (absolute va...
KSEM
2010
Springer
13 years 9 months ago
2010
Springer
One criterion for the well-formedness of ontologies is that their hierarchical structure forms a lattice. Formal Concept Analysis (FCA) has been used as a technique for assessing ...
KSEM
2010
Springer
13 years 9 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
KSEM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Ontology mapping is one of the most important tasks for ontology interoperability and its main aim is to find semantic relationships between entities (i.e. concept, attri...
KSEM
2010
Springer
13 years 9 months ago
2010
Springer
Web 2.0 is much more than adding a nice facade to old web applications rather it is a new way of thinking about software architecture of Rich Internet Applications (RIA). In compar...