1786 search results - page 149 / 358 » The Structure of Factor Oracles |
169
click to vote
COCOON
1995
Springer
15 years 10 months ago
1995
Springer
A Craig interpolant of two inconsistent theories is a formula which is true in one and false in the other. This paper gives an eificient method for constructing a Craig interpolant...
154
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
The importance and benefits of expertise sharing for organizations in knowledge economy are well recognized. However, the potential cost of expertise sharing is less well understoo...
179
click to vote
NIPS
1994
15 years 7 months ago
1994
Many real world learning problems are best characterized by an interaction of multiple independent causes or factors. Discovering such causal structure from the data is the focus ...
140
click to vote
DM
2008
15 years 6 months ago
2008
A set S of vertices of a graph G is a geodetic set if every vertex of G lies in at least one interval between the vertices of S. The size of a minimum geodetic set in G is the geo...
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
The compositional method, introduced by Feferman and Vaught in 1959, allows to reduce the model-checking problem for a product structure to the model-checking problem for its fact...