1087 search results - page 9 / 218 » The DecideIT Decision Tool |
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
Proper scoring rules, particularly when used as the basis for a prediction market, are powerful tools for eliciting and aggregating beliefs about events such as the likely outcome...
WCE
2007
13 years 8 months ago
2007
— This paper shows how GIS could be used to support decision making in emergency risk management. Paper describes GinisEmergency tool, which is based on existing semantic interop...
POPL
2011
ACM
12 years 10 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
IACR
2011
12 years 7 months ago
2011
In this paper, we explore a general methodology for converting composite order pairingbased cryptosystems into the prime order setting. We employ the dual pairing vector space app...
JAIR
2011
13 years 2 months ago
2011
Current evaluation functions for heuristic planning are expensive to compute. In numerous planning problems these functions provide good guidance to the solution, so they are wort...