1547 search results - page 236 / 310 » The Isabelle Collections Framework |
101
click to vote
ESA
2006
Springer
15 years 4 months ago
2006
Springer
An instance of the generalized partial cover problem consists of a ground set U and a family of subsets S 2U . Each element e U is associated with a profit p(e), whereas each su...
113
click to vote
EUROPAR
2006
Springer
15 years 4 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
127
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...
118
Voted
SC
1995
ACM
15 years 4 months ago
1995
ACM
This paper presents an extensive empirical evaluation of an interprocedural parallelizing compiler, developed as part of the Stanford SUIF compiler system. The system incorporates...
109
Voted
ECCV
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Detecting contour closure, i.e., finding a cycle of disconnected contour fragments that separates an object from its background, is an important problem in perceptual gro...