Sciweavers

1802 search results - page 149 / 361
» Complexity Theory for Operators in Analysis
Sort
View
FOAL
2009
ACM
15 years 10 months ago
Graph-based specification and simulation of featherweight Java with around advice
In this paper we specify an operational run-time semantics of Assignment Featherweight Java -- a minimal subset of Java with assignments -- with around advice, using graph transfo...
Tom Staijen, Arend Rensink

Publication
303views
14 years 4 months ago
Evolutionary synthesis of analog networks
he significant increase in the available computational power that took place in recent decades has been accompanied by a growing interest in the application of the evolutionary ap...
Claudio Mattiussi
SIGSOFT
2003
ACM
16 years 7 months ago
Towards scalable compositional analysis by refactoring design models
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
Yung-Pin Cheng, Michal Young, Che-Ling Huang, Chia...
BMCBI
2008
126views more  BMCBI 2008»
15 years 6 months ago
Combining Shapley value and statistics to the analysis of gene expression data in children exposed to air pollution
Background: In gene expression analysis, statistical tests for differential gene expression provide lists of candidate genes having, individually, a sufficiently low p-value. Howe...
Stefano Moretti, Danitsja van Leeuwen, Hans Gmuend...
CIARP
2009
Springer
15 years 10 months ago
Filter Banks for Hyperspectral Pixel Classification of Satellite Images
Abstract. Satellite hyperspectral imaging deals with heterogenous images containing different texture areas. Filter banks are frequently used to characterize textures in the image ...
Olga Rajadell, Pedro García-Sevilla, Filibe...