6102 search results - page 592 / 1221 » Generating Optimizing Specializers |
216
click to vote
WEBI
2009
Springer
16 years 1 months ago
2009
Springer
Understanding query reformulation patterns is a key step towards next generation web search engines: it can help improving users’ web-search experience by predicting their inten...
192
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
178
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
We use the notion of boundary points to study resolution proofs. Given a CNF formula F, a lit(x)-boundary point is a complete assignment falsifying only clauses of F having the sam...
221
click to vote
SEMWEB
2009
Springer
16 years 1 months ago
2009
Springer
In this paper a novel approach is presented for generating RDF graphs of arbitrary complexity from various spreadsheet layouts. Currently, none of the available spreadsheet-to-RDF ...
232
click to vote
CASES
2009
ACM
16 years 1 months ago
2009
ACM
Coarse-grained reconfigurable architectures (CGRAs) present an appealing hardware platform by providing programmability with the potential for high computation throughput, scalab...