3595 search results - page 568 / 719 » Roles of Program Extension |
160
click to vote
NAR
2010
14 years 10 months ago
2010
Alternative splicing is an important mechanism for increasing protein diversity. However, its functional effects are largely unknown. Here, we present our new software workflow co...
138
click to vote
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
150
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
193
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
We propose a novel framework for constrained spectral
clustering with pairwise constraints which specify whether
two objects belong to the same cluster or not. Unlike previous
m...
124
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Currently an abundance of historical manuscripts, journals, and scientific notes remain largely unaccessible in library archives. Manual transcription and publication of such docu...