1547 search results - page 179 / 310 » The Isabelle Collections Framework |
ECSQARU
2009
Springer
15 years 7 months ago
2009
Springer
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
125
Voted
TARK
2009
Springer
15 years 7 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
117
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
With the proliferation of multimedia data and evergrowing requests for multimedia applications, new challenges are emerged for efficient and effective managing and accessing large...
94
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
Set theories are traditionally based on first-order logic. We show that in a constructive setting, basing a set theory on a dependent logic yields many benefits. To this end, we...
115
Voted
WACV
2007
IEEE
15 years 7 months ago
2007
IEEE
We propose a novel framework for 3D reassembly, the task of assembling a solid object from its broken pieces. The primary challenge in this under-explored problem is to robustly e...