1813 search results - page 114 / 363 » Instance Pruning Techniques |
135
click to vote
APAL
2007
15 years 6 months ago
2007
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
134
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
160
click to vote
SAT
2009
Springer
16 years 28 days ago
2009
Springer
Recent work has shown the value of using unsatisfiable cores to guide maximum satisfiability algorithms (Max-SAT) running on industrial instances [5,9,10,11]. We take this concep...
155
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Parameterized queries are commonly used in database applications. In a parameterized query, the same SQL statement is potentially executed multiple times with different parameter ...
174
click to vote
SAIG
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Short cut fusion is a particular program transformation technique which uses a single, local transformation — called the foldr-build rule — to remove certain intermed...