Sciweavers

784 search results - page 120 / 157
» Discovering and using groups to improve personalized search
Sort
View
ICSE
2008
IEEE-ACM
16 years 2 months ago
A study of student strategies for the corrective maintenance of concurrent software
Graduates of computer science degree programs are increasingly being asked to maintain large, multi-threaded software systems; however, the maintenance of such systems is typicall...
Scott D. Fleming, Eileen Kraemer, R. E. Kurt Stire...
TPDS
2008
80views more  TPDS 2008»
15 years 1 months ago
Scalable and Efficient End-to-End Network Topology Inference
To construct an efficient overlay network, the information of underlay is important. We consider using end-to-end measurement tools such as traceroute to infer the underlay topolog...
Xing Jin, Wanqing Tu, S.-H. Gary Chan
ECAI
2004
Springer
15 years 5 months ago
Lakatos-Style Automated Theorem Modification
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
Simon Colton, Alison Pease
BVAI
2007
Springer
15 years 8 months ago
Non-invasive Brain-Actuated Interaction
The promise of Brain-Computer Interfaces (BCI) technology is to augment human capabilities by enabling interaction with computers through a conscious and spontaneous modulation of ...
José del R. Millán, Pierre W. Ferrez...
CSCW
2012
ACM
13 years 9 months ago
Dynamic changes in motivation in collaborative citizen-science projects
Online citizen science projects engage volunteers in collecting, analyzing, and curating scientific data. Existing projects have demonstrated the value of using volunteers to coll...
Dana Rotman, Jenny Preece, Jen Hammock, Kezee Proc...