2370 search results - page 270 / 474 » A Structured Set of Higher-Order Problems |
107
click to vote
ISBI
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we propose a fast method to detect spiculated lesions and architectural distortions in Digital Breast Tomosynthesis datasets. This approach relies on an a contrario ...
143
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
111
click to vote
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
— Given a set of query interfaces from providers in the same domain (e.g., car rental), the goal is to build automatically an integrated interface that makes the access to indivi...
122
Voted
ATVA
2009
Springer
15 years 10 months ago
2009
Springer
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ-calculus. Two dimensions of abstrace identified and studied: Abs...
125
click to vote
CIE
2009
Springer
15 years 10 months ago
2009
Springer
We suggest that a process-like notion of strategy is relevant in the context of interactions in systems of self-interested agents. In this view, strategies are not plans formulated...