1128 search results - page 176 / 226 » Little Engines of Proof |
ICSE
1997
IEEE-ACM
15 years 4 months ago
1997
IEEE-ACM
The planning of additional featuresand releases is a major concem for commercialsoftware companies. We describe how, in collaboration with Ericsson Radio Systems, we developed and...
103
Voted
ISSTA
2010
ACM
15 years 4 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...
104
click to vote
SIGIR
2010
ACM
15 years 4 months ago
2010
ACM
We investigate how people interact with Web search engine result pages using eye-tracking. While previous research has focused on the visual attention devoted to the 10 organic se...
111
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
Most open source software development projects include an open bug repository—one to which users of the software can gain full access—that is used to report and track problems...
110
Voted
ACL
2010
14 years 10 months ago
2010
Is it possible to use sense inventories to improve Web search results diversity for one word queries? To answer this question, we focus on two broad-coverage lexical resources of ...