5830 search results - page 886 / 1166 » Automatic link generation |
171
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
Source code is the target and final outcome of software development. By focusing our research and analysis on source code only, we risk forgetting that software is the product of...
216
click to vote
NAR
2011
14 years 9 months ago
2011
The Laminin(LM)-database, hosted at http://www .lm.lncc.br, is the first database focusing a noncollagenous extracellular matrix protein family, the LMs. Part of the knowledge ava...
395
click to vote
CVPR
2009
IEEE
17 years 2 months ago
2009
IEEE
We propose a novel approach for modelling correlations
between activities in a busy public space captured by multiple
non-overlapping and uncalibrated cameras. In our approach,
...
162
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
172
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
Large, socially-driven Web 2.0 sites such as Facebook and Youtube have seen significant growth in popularity [5, 10]. However, strong demand also exists for socially-driven web s...