3965 search results - page 586 / 793 » Effectivity of Regular Spaces |
166
click to vote
RECOMB
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Accurate comparative analysis tools for low-homology proteins remains a difficult challenge in computational biology, especially sequence alignment and consensus folding ...
187
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Exertion games are an emerging form of interactive games that require players to invest significant physical effort as part of the gameplay, rather than just pressing buttons. The...
154
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
A common effect of aging is decline in spatial cognition. This is an issue for all elders, but particularly for elder drivers. To address this driving issue, we propose a novel co...
176
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
192
click to vote
KDD
2009
ACM
16 years 7 months ago
2009
ACM
Lately there exist increasing demands for online abnormality monitoring over trajectory streams, which are obtained from moving object tracking devices. This problem is challengin...