10891 search results - page 1598 / 2179 » Combining Model Reductions |
145
click to vote
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Algorithmic Skeletons offer high-level abstractions for parallel programming based on recurrent parallelism patterns. Patterns can be combined and nested into more comple...
165
click to vote
DBSEC
2008
15 years 6 months ago
2008
To protect critical resources in today’s networked environments, it is desirable to quantify the likelihood of potential multi-step attacks that combine multiple vulnerabilities....
118
click to vote
FMICS
2008
Springer
15 years 6 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
174
click to vote
ICML
2010
IEEE
15 years 6 months ago
2010
IEEE
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...
154
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We extend the framework of mixed multi-unit combinatorial auctions to include time constraints, present an expressive bidding language, and show how to solve the winner determinati...