2262 search results - page 131 / 453 » Points with large quadrant-depth |
186
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
178
click to vote
NECO
2000
15 years 6 months ago
2000
The Bayesian committee machine (BCM) is a novel approach to combining estimators which were trained on different data sets. Although the BCM can be applied to the combination of a...
190
click to vote
FUNGAMES
2010
15 years 5 months ago
2010
We present the design, implementation and evaluation of a novel pervasive location-aware multiplayer game. In the game teams of players try to score points by conquering the real-...
203
click to vote
ACL
2009
15 years 4 months ago
2009
We present a graph-based semi-supervised learning for the question-answering (QA) task for ranking candidate sentences. Using textual entailment analysis, we obtain entailment sco...
180
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
Subspace-based methods rely on dominant element selection from second order statistics. They have been extended to tensor processing, in particular to tensor data filtering. For t...