1592 search results - page 173 / 319 » On the Equality of Probabilistic Terms |
139
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
We have observed numerous times how young children find it difficult to use software that provides different functionality with each mouse button. To better learn how young childr...
247
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
167
click to vote
PODS
2006
ACM
16 years 6 months ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...
142
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
146
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Recent localization research has focused on improving the accuracy of pinpointing the physical location of a target. We think that the energy efficiency and the quality of the loc...