5860 search results - page 1169 / 1172 » Multimedia Design for the Web |
CAV
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
110
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
Extracting useful knowledge from large network datasets has become a fundamental challenge in many domains, from scientific literature to social networks and the web. We introduc...
101
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
A number of studies have identified a robust relationship between the use of social network sites, particularly Facebook, and positive outcomes such as social capital. Social netw...
106
click to vote
CHI
2011
ACM
14 years 1 months ago
2011
ACM
We all spend time every day looking for information in our email, yet we know little about this refinding process. Some users expend considerable preparatory effort creating compl...
92
Voted
NAR
2011
14 years 15 days ago
2011
AmoebaDB (http://AmoebaDB.org) and MicrosporidiaDB (http://MicrosporidiaDB.org) are new functional genomic databases serving the amoebozoa and microsporidia research communities, ...