1176 search results - page 43 / 236 » Implicit Abstraction Heuristics |
SIAMSC
2008
13 years 9 months ago
2008
Abstract. In this paper, we empirically investigate the NP-hard problem of finding sparsest solutions to linear equation systems, i.e., solutions with as few nonzeros as possible. ...
MEMOCODE
2005
IEEE
14 years 3 months ago
2005
IEEE
There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol ny impleme...
ISCIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We investigate the problem of enumerating schedules, consisting of course-section assignments, in increasing order of the number of conflicts they contain. We define th...
ICCS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
COGSCI
2008
13 years 10 months ago
2008
Examples from Archimedes, Galileo, Newton, Einstein, and others suggest that fundamental laws of physics were--or, at least, could have been--discovered by experiments performed n...