Sciweavers

5284 search results - page 724 / 1057
» Sampling search-engine results
Sort
View
ENTCS
2007
158views more  ENTCS 2007»
15 years 6 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
MP
2006
107views more  MP 2006»
15 years 6 months ago
Convergence theory for nonconvex stochastic programming with an application to mixed logit
Monte Carlo methods have been used extensively in the area of stochastic programming. As with other methods that involve a level of uncertainty, theoretical properties are required...
Fabian Bastin, Cinzia Cirillo, Philippe L. Toint
PR
2008
88views more  PR 2008»
15 years 6 months ago
Modified global k
Clustering in gene expression data sets is a challenging problem. Different algorithms for clustering of genes have been proposed. However due to the large number of genes only a ...
Adil M. Bagirov
PR
2008
131views more  PR 2008»
15 years 6 months ago
A memetic algorithm for evolutionary prototype selection: A scaling up approach
Prototype selection problem consists of reducing the size of databases by removing samples that are considered noisy or not influential on nearest neighbour classification tasks. ...
Salvador García, José Ramón C...
PRL
2006
87views more  PRL 2006»
15 years 6 months ago
Supervised feature-based classification of multi-channel SAR images
This paper describes a new method for a feature-based supervised classification of multi-channel SAR data. Classic feature selection and classification methods are inadequate due ...
Dirk Borghys, Yann Yvinec, Christiaan Perneel, Ale...