7886 search results - page 321 / 1578 » An evaluation of bipartitioning techniques |
197
click to vote
PADL
2007
Springer
16 years 1 months ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
169
Voted
SIGIR
2005
ACM
16 years 1 months ago
2005
ACM
The direct application of standard ranking techniques to retrieve individual elements from a collection of XML documents often produces a result set in which the top ranks are dom...
154
click to vote
CLEF
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. In this paper we present the results of BUAP/UPV universities in WebCLEF, a particular task of CLEF 2005. Particularly, we evaluate our information retrieval system at th...
193
Voted
ECLIPSE
2004
ACM
16 years 29 days ago
2004
ACM
In this paper, we describe marking features provided in Gild, a set of plug-ins to support education in Eclipse developed at the University of Victoria. We discuss our requirement...
177
Voted
CAV
2004
Springer
16 years 28 days ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...