Sciweavers

2338 search results - page 338 / 468
» Community computing and the computing community
Sort
View
SBP
2012
Springer
13 years 11 months ago
Modeling Infection with Multi-agent Dynamics
Developing the ability to comprehensively study infections in small populations enables us to improve epidemic models and better advise individuals about potential risks to their h...
Wen Dong, Katherine Heller, Alex Pentland
SOFSEM
2012
Springer
13 years 11 months ago
Recent Challenges and Ideas in Temporal Synthesis
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...
Orna Kupferman
119
Voted
SIGCOMM
2012
ACM
13 years 5 months ago
AutoNetkit: simplifying large scale, open-source network experimentation
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...
Simon Knight, Askar Jaboldinov, Olaf Maennel, Iain...
SIGIR
2012
ACM
13 years 5 months ago
Parallelizing ListNet training using spark
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 [...
Shilpa Shukla, Matthew Lease, Ambuj Tewari
ACL
2012
13 years 5 months ago
Sentence Dependency Tagging in Online Question Answering Forums
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...
Zhonghua Qu, Yang Liu