5630 search results - page 972 / 1126 » Computability in Specification |
161
click to vote
PPOPP
2010
ACM
16 years 2 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
136
click to vote
RECOMB
2010
Springer
15 years 12 months ago
2010
Springer
Background: The empirical frequencies of DNA k-mers in whole genome sequences provide an interesting perspective on genomic complexity, and the availability of large segments of g...
150
click to vote
CHI
2010
ACM
15 years 12 months ago
2010
ACM
MouseLight is a spatially-aware standalone mobile projector with the form factor of a mouse that can be used in combination with digital pens on paper. By interacting with the pro...
147
click to vote
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
— This research presents a novel application of Lateralization Index (LI) in support of a decision making process for the classification of subjects based on their brain activati...
140
click to vote
WABI
2009
Springer
15 years 11 months ago
2009
Springer
Background: Supertree methods combine the phylogenetic information from multiple partially-overlapping trees into a larger phylogenetic tree called a supertree. Several supertree ...