2339 search results - page 179 / 468 » A student-directed computing community |
136
Voted
SOFSEM
2012
Springer
13 years 9 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
108
Voted
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
We present a methodology that brings simplicity to large and comt labs by using abstraction. The networking community has appreciated the value of large scale test labs to explore...
252
click to vote
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
As ever-larger training sets for learning to rank are created, scalability of learning has become increasingly important to achieving continuing improvements in ranking accuracy [...
133
Voted
ACL
2012
13 years 4 months ago
2012
Online forums are becoming a popular resource in the state of the art question answering (QA) systems. Because of its nature as an online community, it contains more updated knowl...
145
click to vote
CHI
2002
ACM
16 years 2 months ago
2002
ACM
The Special Interest Group on Computer Human Interaction (SIGCHI) has had a successful history of 20 years of growth in its numbers and influence. To help guide the continued evol...