4224 search results - page 246 / 845 » Reasoning about Choice |
175
click to vote
FSE
2010
Springer
16 years 1 days ago
2010
Springer
The hash function Blue Midnight Wish (BMW) is a candidate in the SHA-3 competition organised by the U.S. National Institute of Standards and Technology (NIST). BMW was selected fo...
200
click to vote
WACC
1999
ACM
15 years 11 months ago
1999
ACM
a useful abstract representation is fundamental to solving many difficult problems in software engineering. In order to better understand how representations are actually used in ...
197
click to vote
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
207
click to vote
IJAR
2008
15 years 7 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...
299
click to vote
GIS
2009
ACM
16 years 8 months ago
2009
ACM
Space- and time-referenced data published on the Web by general people can be viewed in a dual way: as independent spatiotemporal events and as trajectories of people in the geogr...