4287 search results - page 570 / 858 » Minimal Mental Models |
155
click to vote
ISLPED
2004
ACM
16 years 4 days ago
2004
ACM
In this paper we investigate the statistics of multiplier operands and identify two characteristics of their distribution that have important consequences for the design of low po...
163
click to vote
CPAIOR
2004
Springer
16 years 3 days ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
143
Voted
ISOLA
2004
Springer
16 years 2 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
183
click to vote
NPC
2004
Springer
16 years 2 days ago
2004
Springer
This paper is motivated by the problem of poor searching efficiency in decentralized peer-to-peer file-sharing systems. We solve the searching problem by considering and modeling t...
168
click to vote
ECCV
2010
Springer
16 years 1 days ago
2010
Springer
Abstract. We address the problem of having insufficient labels in an interactive image segmentation framework, for which most current methods would fail without further user inter...