Sciweavers

1809 search results - page 84 / 362
» Weakly Computable Real Numbers
Sort
View
BMVC
1998
15 years 5 months ago
Recovering More Classes than Available Bands for Mixed Pixels in Remote Sensing
The classification of sets of mixed pixels can be accomplished by making use of the relationship of higher order moments of the distributions of the pure and mixed classes. As a c...
Maria Faraklioti, Maria Petrou
SODA
1992
ACM
123views Algorithms» more  SODA 1992»
15 years 5 months ago
Computing Minimal Spanning Subgraphs in Linear Time
Let P be a property of undirected graphs. We consider the following problem: given a graph G that has property P, nd a minimal spanning subgraph of G with property P. We describe ...
Xiaofeng Han, Pierre Kelsen, Vijaya Ramachandran, ...
179
Voted
ITP
2010
230views Mathematics» more  ITP 2010»
15 years 5 months ago
On the Formalization of the Lebesgue Integration Theory in HOL
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
Tarek Mhamdi, Osman Hasan, Sofiène Tahar
ICIS
1994
15 years 5 months ago
Valuing IT through Virtual Process Measurement
The so called "productivity paradox" associated with information technology remains the focus of active research in information systems. One explanation involves the dea...
Mark E. Nissen
PRICAI
2010
Springer
15 years 2 months ago
Multi-manifold Clustering
Manifold clustering, which regards clusters as groups of points around compact manifolds, has been realized as a promising generalization of traditional clustering. A number of lin...
Yong Wang, Yuan Jiang, Yi Wu, Zhi-Hua Zhou