5404 search results - page 228 / 1081 » Global Computing for Bioinformatics |
118
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...
152
click to vote
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Detection of the best symmetry plane in 3D images can be treated as a registration problem between the original and the reflected images. The registration is performed in a 3D sp...
141
Voted
BIBE
2008
IEEE
15 years 11 months ago
2008
IEEE
-This paper builds a two dimensional Oculomotor Plant Mathematical Model (2DOPMM) that is capable of generating eye movement trace on a two dimensional plane. The key difference be...
139
Voted
CSB
2002
IEEE
15 years 9 months ago
2002
IEEE
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
118
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— We propose a computationally efficient method based on nonlinear optimization to identify critical lines, failure of which can cause severe blackouts. Our method computes crit...