2498 search results - page 363 / 500 » Data Structures with Unpredictable Timing |
154
click to vote
MICCAI
2004
Springer
16 years 6 months ago
2004
Springer
Osteoarthritis (OA) involves changes in the composition and ultimately the loss of cartilage from articulating joints. MRI has the ability to non-invasively probe the compositional...
135
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
Most of the faster community extraction algorithms are based on the Clauset, Newman and Moore (CNM), which is employed for networks with sizes up to 500,000 nodes. The modificatio...
138
click to vote
CHI
2008
ACM
16 years 5 months ago
2008
ACM
We performed an empirical study to investigate whether the context of interruptions makes a difference. We found that context does not make a difference but surprisingly, people c...
139
click to vote
RECOMB
2003
Springer
16 years 5 months ago
2003
Springer
Many genomic sequences and, more generally, (multivariate) time series display tremendous variability. However, often it is reasonable to assume that the sequence is actually gene...
180
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...