4131 search results - page 733 / 827 » Compactness in Topology and Computation |
175
click to vote
CADE
2007
Springer
16 years 17 days ago
2007
Springer
We develop and implement a novel algorithm for discovering the optimal sets of premisses for proving and disproving conjectures in first-order logic. The algorithm uses interpret...
189
click to vote
CIKM
2007
Springer
16 years 17 days ago
2007
Springer
We consider the problem of document indexing and representation. Recently, Locality Preserving Indexing (LPI) was proposed for learning a compact document subspace. Different from...
206
click to vote
CPAIOR
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
180
click to vote
GECCO
2007
Springer
16 years 16 days ago
2007
Springer
The accurate quantification of proteins is important in several areas of cell biology, biotechnology and medicine. Both relative and absolute quantification of proteins is often d...
177
click to vote
LCTRTS
2007
Springer
16 years 16 days ago
2007
Springer
The Instruction Register File (IRF) is an architectural extension for providing improved access to frequently occurring instructions. An optimizing compiler can exploit an IRF by ...