13784 search results - page 158 / 2757 » On Computing Functions with Uncertainty |
ACL
2011
13 years 22 days ago
2011
ACL
2011
13 years 22 days ago
2011
IJCV
2012
11 years 11 months ago
2012
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We prove that every computably enumerable (c.e.) random real is provable in Peano Arithmetic (PA) to be c.e. random. A major step in the proof is to show that the theorem stating ...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
I have been active in SIGCHI since 1983, serving on the Executive Committee and many conference and program committees. After editing ACM TOCHI for six years, I explored the histo...