2911 search results - page 52 / 583 » A Theory of Expressiveness in Mechanisms |
166
click to vote
CLIMA
2010
15 years 7 months ago
2010
Simple type theory is suited as framework for combining classical and non-classical logics. This claim is based on the observation that various prominent logics, including (quantif...
169
click to vote
JAPLL
2008
15 years 6 months ago
2008
Simple type theory, also known as higher-order logic, is a natural extension of first-order logic which is simple, elegant, highly expressive, and practical. This paper surveys th...
136
click to vote
ISBI
2004
IEEE
16 years 6 months ago
2004
IEEE
Image analysis is a crucial step in processing microarray data generated by gene expression studies, which have been used extensively in understanding the molecular mechanisms of ...
145
click to vote
SIGECOM
2008
ACM
15 years 6 months ago
2008
ACM
Prediction markets efficiently extract and aggregate the private information held by individuals about events and facts that can be publicly verified. However, facts such as the e...
271
click to vote
ICONFERENCE
2011
15 years 1 months ago
2011
Wikipedia’s stated mission is to provide a free encyclopedia that people all over the world can use and contribute to. However, while Wikipedia is successful at providing access...