4581 search results - page 417 / 917 » Computing Transformation Semigroups |
196
click to vote
CVPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Flow Doppler imaging has become an integral part of an echocardiographic exam. Automated interpretation of flow doppler imaging has so far been restricted to obtaining hemodynami...
191
click to vote
ISVC
2010
Springer
15 years 6 months ago
2010
Springer
Interpolating diffusion tensor fields is a key technique to visualize the continuous behaviors of biological tissues such as nerves and muscle fibers. However, this has been stil...
234
click to vote
RECOMB
2010
Springer
15 years 6 months ago
2010
Springer
We study two problems in the double cut and join (DCJ) model: sorting – transforming one multilinear genome into another and halving – transforming a duplicated genome into a p...
197
click to vote
TCS
2010
15 years 6 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
184
click to vote
SOFSEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We consider documents as words and trees on some alphabet and study how to compare them with some regular schemas on an alphabet . Given an input document I, we decide ...