Sciweavers

385 search results - page 6 / 77
» On higher-order perceptron algorithms
Sort
View
VISUALIZATION
1997
IEEE
14 years 18 days ago
Visualization of higher order singularities in vector fields
We present an algorithm for the visualization of vector field topology based on Clifford algebra. It is the first method allowing the detection of higher order singularities. Th...
Gerik Scheuermann, Hans Hagen, Heinz Krüger, ...
TPHOL
2000
IEEE
14 years 24 days ago
Proof Terms for Simply Typed Higher Order Logic
Abstract. This paper presents proof terms for simply typed, intuitionistic higher order logic, a popular logical framework. Unification-based algorithms for the compression and re...
Stefan Berghofer, Tobias Nipkow
CVPR
2010
IEEE
14 years 4 months ago
Surface Extraction from Binary Volumes with Higher-Order Smoothness
A number of 3D shape reconstruction algorithms, in particular 3D image segmentation methods, produce their results in the form of binary volumes, where a binary value indicates whe...
Victor Lempitsky
PLILP
1993
Springer
14 years 15 days ago
Higher-Order Chaotic Iteration Sequences
Chaotic iteration sequences is a method for approximating fixpoints of monotonic functions proposed by Patrick and Radhia Cousot. It may be used in specialisation algorithms for ...
Mads Rosendahl
TSP
2008
69views more  TSP 2008»
13 years 8 months ago
Nonminimum Phase Identification Based on Higher Order Spectrum Slices
A new family of methods, named phase estimation using polyspectrum slices (PEP), for the reconstruction of the Fourier phase of a complex linear time invariant (LTI) system excited...
Amar Kachenoura, Laurent Albera, Jean-Jacques Bell...