1341 search results - page 170 / 269 » Probabilistic Abstraction Hierarchies |
84
Voted
ECCC
2007
15 years 19 days ago
2007
The OR-SAT problem asks, given Boolean formulae φ1, . . . , φm each of size at most n, whether at least one of the φi’s is satisfiable. We show that there is no reduction fr...
219
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
108
Voted
INFOCOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...
148
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Resource management constitutes an important infrastructural component of a computational grid environment. The aim of grid resource management is to efficiently schedule applicat...
147
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...