Sciweavers

4764 search results - page 655 / 953
» Applications of Error-Control Coding
Sort
View
ENVSOFT
2006
122views more  ENVSOFT 2006»
15 years 4 months ago
Automatic identification of oil spills on satellite images
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
Iphigenia Keramitsoglou, Constantinos Cartalis, Ch...
CANDC
2007
ACM
15 years 4 months ago
Codon phylogenetic distance
We develop here an analytical evolution model based on a trinucleotide mutation matrix 64 × 64 with nine substitution parameters associated with the three types of substitutions ...
Christian J. Michel
CPHYSICS
2007
51views more  CPHYSICS 2007»
15 years 4 months ago
Shearingbox-implementation for the central-upwind, constraint-transport MHD-code NIRVANA
We describe the implementation of the shearingbox approach into the Godunovtype central-upwind/constraint-transport magnetohydrodynamics code NIRVANA. This will allow for applicat...
O. Gressel, U. Ziegler
JCT
2006
110views more  JCT 2006»
15 years 4 months ago
Branch-width, parse trees, and monadic second-order logic for matroids
Abstract. We introduce "matroid parse trees" which, using only a limited amount of information at each node, can build up the vector representations of matroids of bounde...
Petr Hlinený
ENTCS
2007
182views more  ENTCS 2007»
15 years 4 months ago
Automated Fault Localization for C Programs
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
Andreas Griesmayer, Stefan Staber, Roderick Bloem