Sciweavers

10602 search results - page 1865 / 2121
» Weakly Useful Sequences
Sort
View
CAIP
1997
Springer
125views Image Analysis» more  CAIP 1997»
15 years 11 months ago
An Algorithm for Intrinsic Dimensionality Estimation
Abstract. In this paper a new method for analyzing the intrinsic dimensionality (ID) of low dimensional manifolds in high dimensional feature spaces is presented. The basic idea is...
Jörg Bruske, Gerald Sommer
PATAT
2000
Springer
89views Education» more  PATAT 2000»
15 years 11 months ago
A Language for Specifying Complete Timetabling Problems
The timetabling problem consists in fixing a sequence of meetings between teachers and students in a given period of time, satisfying a set of different constraints. There are a nu...
Luís Paulo Reis, Eugenio Oliveira
TACAS
2000
Springer
151views Algorithms» more  TACAS 2000»
15 years 10 months ago
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
Ramesh Bharadwaj, Steve Sims
DAC
1995
ACM
15 years 10 months ago
The Validity of Retiming Sequential Circuits
Retiming has been proposed as an optimizationstep forsequential circuits represented at the net-list level. Retiming moves the latches across the logic gates and in doing so chang...
Vigyan Singhal, Carl Pixley, Richard L. Rudell, Ro...
ICANN
1997
Springer
15 years 10 months ago
Topology Representing Networks for Intrinsic Dimensionality Estimation
Abstract. In this paper we compare two methods for intrinsic dimensionality (ID) estimation based on optimally topology preserving maps (OTPMs). The rst one is a direct approach, w...
Jörg Bruske, Gerald Sommer
« Prev « First page 1865 / 2121 Last » Next »