1670 search results - page 108 / 334 » On Skolemization in constructive theories |
190
click to vote
IHI
2010
15 years 1 months ago
2010
Medical practice is increasingly based on the best available evidence, but the volume of information requires many clinicians to rely on systematic reviews rather than the primary...
189
click to vote
JCT
2010
15 years 1 months ago
2010
Let M be a matroid representable over a (partial) field and B a matrix representable over a sub-partial field . We say that B confines M to if, whenever a -representation matrix ...
171
click to vote
JDCTA
2010
15 years 1 months ago
2010
In this paper, we present the user evaluation results of a Community-centric Music Voting service that relies on a DHT-based P2P network. For each user community, an independent D...
166
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
A number of works concerning rigorous convergence theory for adaptive finite element methods (AFEM) for controlling global energy errors have appeared in recent years. However, man...
171
click to vote
SIGKDD
2010
15 years 1 months ago
2010
This paper suggests a framework for mining subjectively interesting pattern sets that is based on two components: (1) the encoding of prior information in a model for the data min...