Sciweavers

2333 search results - page 271 / 467
» Recursive Computational Depth
Sort
View
116
Voted
ICAISC
2010
Springer
15 years 7 months ago
Quasi-parametric Recovery of Hammerstein System Nonlinearity by Smart Model Selection
In the paper we recover a Hammerstein system nonlinearity. Hammerstein systems, incorporating nonlinearity and dynamics, play an important role in various applications, and e¤ecti...
Zygmunt Hasiewicz, Grzegorz Mzyk, Przemyslaw Sliwi...
112
Voted
GI
2009
Springer
15 years 7 months ago
Reasoning about Contextual Equivalence: From Untyped to Polymorphically Typed Calculi
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...
David Sabel, Manfred Schmidt-Schauß, Frederi...
114
Voted
EMMCVPR
2001
Springer
15 years 6 months ago
Matching Images to Models - Camera Calibration for 3-D Surface Reconstruction
In a previous paper we described a system which recursively recovers a super-resolved three dimensional surface model from a set of images of the surface. In that paper we assumed ...
Robin D. Morris, Vadim N. Smelyansky, Peter Cheese...
PG
2000
IEEE
15 years 6 months ago
Interpolating and Approximating Moving Frames Using B-splines
The representation of moving geometry entities is an important issue in the fields of CAD/CAM and robotics motion design. We present a method to interpolate the moving frame homog...
Lizhuang Ma, Tony K. Y. Chan, Zhongding Jiang
ARITH
1999
IEEE
15 years 6 months ago
Intermediate Variable Encodings that Enable Multiplexor-Based Implementations of Two Operand Addition
In two operand addition, bit-wise intermediate variables such as the "propagate" and "generate" terms are defined/evaluated first. Basic carry propagation recu...
Dhananjay S. Phatak, Israel Koren