Sciweavers

3974 search results - page 272 / 795
» Metric Functional Dependencies
Sort
View
COMPGEOM
2003
ACM
15 years 11 months ago
Loops in reeb graphs of 2-manifolds
Given a Morse function over a 2-manifold with or without boundary, the Reeb graph is obtained by contracting the connected components of the level sets to points. We prove tight u...
Kree Cole-McLaughlin, Herbert Edelsbrunner, John H...
187
Voted
AC
2003
Springer
15 years 11 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
164
Voted
POPL
1993
ACM
15 years 10 months ago
Formal Parametric Polymorphism
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
Martín Abadi, Luca Cardelli, Pierre-Louis C...
174
Voted
ICA
2007
Springer
15 years 10 months ago
Phase-Aware Non-negative Spectrogram Factorization
Non-negative spectrogram factorization has been proposed for single-channel source separation tasks. These methods operate on the magnitude or power spectrogram of the input mixtur...
R. Mitchell Parry, Irfan A. Essa
154
Voted
IJCAI
1989
15 years 7 months ago
Constraint Posting for Verifying VLSI Circuits
We apply constraint posting to the problem of reasoning about function from structure. Constraint posting is a technique used by some planners to coordinate decisions. At each dec...
Daniel Weise