XML has emerged as the primary standard of data representation and data exchange [13]. Although many software tools exist to assist the XML implementation process, data must be ma...
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
Companies providing cloud-scale services have an increasing need to store and analyze massive data sets such as search logs and click streams. For cost and performance reasons, pr...
Here we propose an alternative non-explicit way to take into account the relations among wavelet coefficients in natural images for denoising: we use Support Vector Machines (SVM)...
Valero Laparra, Juan Gutierrez, Gustavo Camps-Vall...
In genomic sequence analysis tasks like splice site recognition or promoter identification, large amounts of training sequences are available, and indeed needed to achieve suffici...