7886 search results - page 350 / 1578 » An evaluation of bipartitioning techniques |
254
click to vote
CADE
2010
Springer
15 years 8 months ago
2010
Springer
State of the art reasoners for expressive description logics, such as those that underpin the OWL ontology language, are typically based on highly optimized implementations of (hyp...
211
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...
198
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we propose a novel channel estimation technique based on 2D spread pilots. The merits of this technique are its simplicity, its flexibility regarding the transmissi...
208
Voted
IJMSO
2006
15 years 7 months ago
2006
: This paper reports on the automatic metadata generation applications (AMeGA) project's metadata expert survey. Automatic metadata generation research is reviewed and the stu...
215
click to vote
JAR
2006
15 years 7 months ago
2006
The dependency pair technique [1, 11, 12] is a powerful method for automated termination and innermost termination proofs of term rewrite systems (TRSs). For any TRS, it generates ...