Sciweavers

6906 search results - page 388 / 1382
» An algorithm for modelling key terms
Sort
View
ICFP
2004
ACM
16 years 6 months ago
A sound (and complete) model of contracts
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
Matthias Blume, David A. McAllester
BMCBI
2008
132views more  BMCBI 2008»
15 years 7 months ago
Computational cluster validation for microarray data analysis: experimental assessment of Clest, Consensus Clustering, Figure of
Background: Inferring cluster structure in microarray datasets is a fundamental task for the so-called -omic sciences. It is also a fundamental question in Statistics, Data Analys...
Raffaele Giancarlo, Davide Scaturro, Filippo Utro
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
16 years 29 days ago
Dendritic cells for SYN scan detection
Artificial immune systems have previously been applied to the problem of intrusion detection. The aim of this research is to develop an intrusion detection system based on the fu...
Julie Greensmith, Uwe Aickelin
PLDI
2003
ACM
16 years 1 days ago
Static array storage optimization in MATLAB
An adaptation of the classic register allocation algorithm to the problem of array storage optimization in MATLAB is presented. The method involves the decomposition of an interfe...
Pramod G. Joisha, Prithviraj Banerjee
CEC
2010
IEEE
15 years 8 months ago
An adaptive ensemble of fuzzy ARTMAP neural networks for video-based face classification
A key feature in population based optimization algorithms is the ability to explore a search space and make a decision based on multiple solutions. In this paper, an incremental le...
Jean-François Connolly, Eric Granger, Rober...