7886 search results - page 313 / 1578 » An evaluation of bipartitioning techniques |
313
Voted
ICDE
2006
IEEE
16 years 9 months ago
2006
IEEE
The XPath language incorporates powerful primitives for formulating queries containing nested subexpressions which are existentially or universally quantified. However, even the b...
184
click to vote
SAT
2004
Springer
16 years 26 days ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
225
Voted
ICMI
2009
Springer
15 years 5 months ago
2009
Springer
This article proposes an evaluation framework to benchmark the performance of multimodal fusion engines. The paper first introduces different concepts and techniques associated wi...
221
Voted
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Despite the considerable success of Inductive Logic Programming, deployed ILP systems still have efficiency problems when applied to complex problems. Several techniques ...
174
Voted
SIGMOD
1994
ACM
15 years 11 months ago
1994
ACM
: Evaluating database system performance often requires generating synthetic databases