Sciweavers

1413 search results - page 75 / 283
» A new condensation principle
Sort
View
SBCCI
2006
ACM
97views VLSI» more  SBCCI 2006»
14 years 4 months ago
An ultra low-power class-AB sinh integrator
A new ultra low-power Class-AB Sinh integrator is proposed here. The translinear companding integrator is based on hyperbolic-sine transconductors and uses only one grounded capac...
Sandro A. P. Haddad, Wouter A. Serdijn
MEMOCODE
2005
IEEE
14 years 3 months ago
Three-valued logic in bounded model checking
In principle, bounded model checking (BMC) leads to semidecision procedures that can be used to verify liveness properties and to falsify safety properties. If the procedures fail...
Tobias Schüle, Klaus Schneider
DAGM
2005
Springer
14 years 3 months ago
Agglomerative Grouping of Observations by Bounding Entropy Variation
Abstract. An information theoretic framework for grouping observations is proposed. The entropy change incurred by new observations is analyzed using the Kalman filter update equa...
Christian Beder
FQAS
2004
Springer
63views Database» more  FQAS 2004»
14 years 3 months ago
On Querying Ontologies and Databases
This paper concerns the motivation for and subsequently the analysis of proposed additions, in the form of new operators, to a concept language Ontolog for use in querying a conten...
Henrik Bulskov, Rasmus Knappe, Troels Andreasen
ICA
2004
Springer
14 years 3 months ago
Independent Slow Feature Analysis and Nonlinear Blind Source Separation
We present independent slow feature analysis as a new method for nonlinear blind source separation. It circumvents the indeterminacy of nonlinear independent component analysis by ...
Tobias Blaschke, Laurenz Wiskott