Sciweavers

1814 search results - page 86 / 363
» Watermarking relational data: framework, algorithms and anal...
Sort
View
CORR
2004
Springer
176views Education» more  CORR 2004»
14 years 11 months ago
The First-Order Theory of Sets with Cardinality Constraints is Decidable
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
Viktor Kuncak, Martin C. Rinard
ESOP
2000
Springer
15 years 2 months ago
Polyvariant Flow Analysis with Constrained Types
Abstract. The basic idea behind improving the quality of a monovariant control flow analysis such as 0CFA is the concept of polyvariant analyses such as Agesen's Cartesian Pro...
Scott F. Smith, Tiejun Wang
IGARSS
2009
14 years 9 months ago
Endmember Extraction from Hyperspectral Imagery using a Parallel Ensemble Approach with Consensus Analysis
We have explored in this paper a framework to test in a quantitative manner the stability of different endmember extraction and spectral unmixing algorithms based on the concept o...
Fermin Ayuso, Javier Setoain, Manuel Prieto, Chris...
ML
2010
ACM
185views Machine Learning» more  ML 2010»
14 years 6 months ago
Learning to rank on graphs
Graph representations of data are increasingly common. Such representations arise in a variety of applications, including computational biology, social network analysis, web applic...
Shivani Agarwal
CCA
2005
Springer
15 years 1 months ago
Computable Versions of Basic Theorems in Functional Analysis
If one wishes to find out whether a computational problem over discrete data is solvable or how complex it is, the classical approach is to represent the discrete objects in quest...
Atsushi Yoshikawa, Mariko Yasugi