Sciweavers

6014 search results - page 15 / 1203
» Parametric Analysis of Computer Systems
Sort
View
104
Voted
CVIU
2008
132views more  CVIU 2008»
15 years 4 days ago
Global parametric image alignment via high-order approximation
The estimation of parametric global motion is one of the cornerstones of computer vision. Such schemes are able to estimate various motion models (translation, rotation, affine, p...
Yosi Keller, Amir Averbuch
ATVA
2004
Springer
146views Hardware» more  ATVA 2004»
15 years 6 months ago
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
Tadaaki Tanimoto, Suguru Sasaki, Akio Nakata, Teru...
89
Voted
IJFCS
2006
106views more  IJFCS 2006»
15 years 17 days ago
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...
Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teru...
211
Voted
TOG
2012
267views Communications» more  TOG 2012»
13 years 3 months ago
Global parametrization by incremental flattening
Global parametrization of surfaces requires singularities (cones) to keep distortion minimal. We describe a method for finding cone locations and angles and an algorithm for glob...
Ashish Myles, Denis Zorin
220
Voted
ICCSA
2011
Springer
14 years 4 months ago
On the Parametric Representation of Dynamic Geometry Constructions
This paper describes an ongoing implementation of an open source library dealing with parametric representation of dynamic geometry constructions. We show how some current issues i...
Francisco Botana