7529 search results - page 1220 / 1506 » The Modula-3 Type System |
176
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract— This paper addresses the problem of solving finite word-length (bit-vector) arithmetic with applications to equivalence verification of arithmetic datapaths. Arithmet...
158
click to vote
IUI
2010
ACM
16 years 3 months ago
2010
ACM
We present rush as a recommendation-based interaction and visualization technique for repeated item selection from large data sets on mobile touch screen devices. Proposals and ch...
176
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
The fundamental nature of grocery shopping makes it an interesting domain for intelligent mobile assistants. Even though the central role of shopping lists is widely recognized, r...
169
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
People increasingly rely on social networking websites to initiate personal and professional relationships. This requires that a considerable amount of trust be placed in stranger...
206
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...