1127 search results - page 74 / 226 » Theory Extension in ACL2(r) |
112
Voted
IJAR
2008
15 years 9 days ago
2008
Although financial risk measurement is a largely investigated research area, its relationship with imprecise probabilities has been mostly overlooked. However, risk measures can b...
75
Voted
PR
2007
15 years 9 days ago
2007
The hit-or-miss transform (HMT) is a fundamental operation on binary images, widely used since 40 years. As it is not increasing, its extension to grey-level images is not straigh...
123
Voted
INFOCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this paper we develop a unified theoretical framework for estimating various transmission costs of packet forwarding in wireless networks. Our framework can be applied to th...
105
Voted
ITP
2010
14 years 11 months ago
2010
eXtensible Business Reporting Language (XBRL) presents new opportunities for integrating information flow within communities of diverse organisations thereby significantly enhanci...
113
Voted
SAGT
2010
Springer
14 years 11 months ago
2010
Springer
We investigate the computational aspects of safe manipulation, a new model of coalitional manipulation that was recently put forward by Slinko and White [11]. In this model, a pot...