Sciweavers

7554 search results - page 816 / 1511
» Process Diagnostics: A Method Based on Process Mining
Sort
View
ICIP
2002
IEEE
16 years 7 days ago
Estimation of camera planar motion from blurred images
The topic of the paper is to estimate parameters of the camera motion using images taken at initial and current positions of the camera. An original method handling defocused imag...
Barbara Zitová, Jan Flusser
IWVF
2001
Springer
15 years 11 months ago
Straightening and Partitioning Shapes
A method for partitioning shapes is described based on a global convexity measure. Its advantages are that its global nature makes it robust to noise, and apart from the number of ...
Paul L. Rosin
MICCAI
2001
Springer
15 years 11 months ago
Mass Preserving Mappings and Image Registration
Image registration is the process of establishing a common geometric reference frame between two or more data sets from the same or different imaging modalities possibly taken at ...
Steven Haker, Allen Tannenbaum, Ron Kikinis
FM
1999
Springer
126views Formal Methods» more  FM 1999»
15 years 11 months ago
Correctness Proof of the Standardized Algorithm for ABR Conformance
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
Jean-François Monin, Francis Klay
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 11 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs