Sciweavers

1449 search results - page 8 / 290
» Finiteness results for sigmoidal
Sort
View
DATESO
2004
98views Database» more  DATESO 2004»
15 years 1 months ago
Finite State Automata and Image Recognition
In this paper we introduce finite automata as a tool for specification and compression of gray-scale image. We describe, what are interests points in pictures and idea if they can ...
Marian Mindek
LOGCOM
2006
90views more  LOGCOM 2006»
14 years 11 months ago
Transfer Results for Hybrid Logic. Part I: The Case Without Satisfaction Operators
For every Kripke complete modal logic L we define its hybrid companion LH . For a reasonable class of logics, we present a satisfiability-preserving translation from LH to L. We p...
Nick Bezhanishvili, Balder ten Cate
MOC
2002
90views more  MOC 2002»
14 years 11 months ago
Derivative superconvergent points in finite element solutions of harmonic functions--- A theoretical justification
Finite element derivative superconvergent points for harmonic functions under local rectangular mesh are investigated. All superconvergent points for the finite element space of an...
Zhimin Zhang
121
Voted
CORR
2007
Springer
99views Education» more  CORR 2007»
14 years 11 months ago
Evolutionary Mesh Numbering: Preliminary Results
Abstract. Mesh numbering is a critical issue in Finite Element Methods, as the computational cost of one analysis is highly dependent on the order of the nodes of the mesh. This pa...
Francis Sourd, Marc Schoenauer
CVPR
2012
IEEE
13 years 2 months ago
Finite Element based sequential Bayesian Non-Rigid Structure from Motion
Navier’s equations modelling linear elastic solid deformations are embedded within an Extended Kalman Filter (EKF) to compute a sequential Bayesian estimate for the Non-Rigid St...
Antonio Agudo, Begoña Calvo, J. M. M. Monti...