503 search results - page 98 / 101 » Interpolative Boolean Logic |
141
Voted
DAC
2002
ACM
16 years 6 months ago
2002
ACM
We have developed a generic integer linear programming(ILP)based engineering change(EC) methodology. The EC methodology has three components: enabling, fast, and preserving. Enabl...
240
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
This paper introduces RankSQL, a system that provides a systematic and principled framework to support efficient evaluations of ranking (top-k) queries in relational database syst...
200
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
173
Voted
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Hybrid algorithms that combine genetic algorithms with the Nelder-Mead simplex algorithm have been effective in solving certain optimization problems. In this article, we apply a s...
225
click to vote
FMSP
2000
ACM
15 years 10 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...