Sciweavers

4870 search results - page 381 / 974
» Construction of Wavelets and Applications
Sort
View
CP
2004
Springer
15 years 11 months ago
Set Variables and Local Search
Many combinatorial (optimisation) problems have natural models based on, or including, set variables and set constraints. This was already known to the constraint programming commu...
Magnus Ågren
CIARP
2006
Springer
15 years 11 months ago
Automatic Band Selection in Multispectral Images Using Mutual Information-Based Clustering
Feature selection and dimensionality reduction are crucial research fields in pattern recognition. This work presents the application of a novel technique on dimensionality reducti...
Adolfo Martínez Usó, Filiberto Pla, ...
ECTEL
2006
Springer
15 years 11 months ago
Informal Learning Theories and Tools to Support Knowledge Management in Distributed CoPs
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
Maria Chiara Pettenati, Maria Ranieri
ICFEM
2000
Springer
15 years 11 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai
TYPES
2000
Springer
15 years 11 months ago
Collection Principles in Dependent Type Theory
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
Peter Aczel, Nicola Gambino