5525 search results - page 955 / 1105 » Verification of Model Transformations |
146
click to vote
CVPR
2012
IEEE
13 years 6 months ago
2012
IEEE
Modeling representations of image patches that are quasi-invariant to spatial deformations is an important problem in computer vision. In this paper, we propose a novel concept, t...
147
click to vote
ICPR
2000
IEEE
16 years 4 months ago
2000
IEEE
Amethod for quick determination of the position and pose of a 3D free-form object with respect to its 2D projective image(s) is proposed. It is a precondition of the method that a...
168
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
ions in Process Mining: A Taxonomy of Patterns R.P. Jagadeesh Chandra Bose1,2 and Wil M.P. van der Aalst1 1 Department of Mathematics and Computer Science, University of Technology...
164
click to vote
GI
1998
Springer
15 years 8 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
141
click to vote
DAC
2007
ACM
15 years 7 months ago
2007
ACM
RLC circuits have been shown to be better formulated as second-order systems instead of first-order systems. The corresponding model order reduction techniques for secondorder sys...