1569 search results - page 144 / 314 » Programming contest strategy |
90
Voted
UM
2009
Springer
15 years 7 months ago
2009
Springer
Clustering of search results has been shown to be advantageous over the simple list presentation of search results. However, in most clustering interfaces, the clusters are not ada...
150
click to vote
AI
2005
Springer
15 years 16 days ago
2005
Springer
Maximum Boolean satisfiability (max-SAT) is the optimization counterpart of Boolean satisfiability (SAT), in which a variable assignment is sought to satisfy the maximum number of...
230
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
120
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper reports on the utilisation of object technology in a university-level course on software development, specifically designed for distance learning, and now enrolling ove...
158
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...