6289 search results - page 930 / 1258 » Error Sequence Analysis |
164
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...
200
Voted
CVBIA
2005
Springer
16 years 9 days ago
2005
Springer
Cardiopulmonary imaging is a key tool in modern diagnostic and interventional medicine. Automated analysis of MRI or ultrasound video is complicated by limitations on the image qua...
184
click to vote
TCC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We prove a computational soundness theorem for the symbolic analysis of cryptographic protocols which extends an analogous theorem of Abadi and Rogaway (J. of Cryptology ...
170
click to vote
VLSM
2005
Springer
16 years 8 days ago
2005
Springer
We present a mathematical and computational feasibility study of the variational convex decomposition of 2D vector fields into coherent structures and additively superposed flow ...
235
click to vote
MIR
2004
ACM
16 years 6 days ago
2004
ACM
We present in this paper a CBIR system for use in a psychological study of the relationship between human movement and Dyslexia. The system allows access to up to 500 hours of vid...