607 search results - page 69 / 122 » Unifying Exact Completions |
IFIP12
2009
14 years 8 months ago
2009
Oral cancer is the predominant neoplasm of the head and neck. Annually, more than 500.000 new cases of oral cancer are reported, worldwide. After the initial treatment of cancer an...
CADE
2008
Springer
15 years 11 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
SIGMOD
2002
ACM
15 years 11 months ago
2002
ACM
Recently, Haas and Hellerstein proposed the hash ripple join algorithm in the context of online aggregation. Although the algorithm rapidly gives a good estimate for many join-agg...
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Code clones are generally considered harmful in software development, and the predominant approach is to try to eliminate them through refactoring. However, recent research has pr...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
We propose in this paper a novel framework for multilevel routing considering both routability and performance. The two-stage multilevel framework consists of coarsening followed ...