1176 search results - page 51 / 236 » Implicit Abstraction Heuristics |
SOFTWARE
1998
13 years 9 months ago
1998
BMS organizes information in abstract name spaces and lets users refer to thedatathroughtheirvalues,whileaspatialDBMSorganizesinformationinconcrete 2D geometric spaces and lets use...
PPSN
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We introduce, analyze, and experimentally examine co-solvability, an ability of a solution to solve a pair of fitness cases (tests). Based on this concept, we devise a co...
POPL
2007
ACM
14 years 10 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
RELIEF is considered one of the most successful algorithms for assessing the quality of features. In this paper, we propose a set of new feature weighting algorithms that perform s...
CF
2007
ACM
14 years 1 months ago
2007
ACM
We present a computer-aided design flow for quantum circuits, complete with automatic layout and control logic extraction. To motivate automated layout for quantum circuits, we in...