Sciweavers

3758 search results - page 401 / 752
» A Complete Subsumption Algorithm
Sort
View
ENVSOFT
2006
122views more  ENVSOFT 2006»
15 years 6 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...
EOR
2006
62views more  EOR 2006»
15 years 6 months ago
A sequential procedure for neighborhood selection-of-the-best in optimization via simulation
We propose a fully sequential indifference-zone selection procedure that is specifically for use within an optimization-via-simulation algorithm when simulation is costly, and par...
Juta Pichitlamken, Barry L. Nelson, L. Jeff Hong
INFORMATICALT
2008
139views more  INFORMATICALT 2008»
15 years 6 months ago
Fingerprint Minutiae Matching without Global Alignment Using Local Structures
This paper presents a method of minutiae based fingerprint matching that is robust to deformations and does not do fingerprint alignment. It concentrates on comparing rotation and ...
Andrej Kisel, Alexej Kochetkov, Justas Kranauskas
IJCV
2006
129views more  IJCV 2006»
15 years 6 months ago
An a contrario Decision Framework for Region-Based Motion Detection
The aim of motion detection is to decide whether a given part of an image belongs to a moving object or to the static background. This paper proposes an automatic decision rule for...
Thomas Veit, Frédéric Cao, Patrick B...
ENTCS
2007
107views more  ENTCS 2007»
15 years 6 months ago
Modeling Environment for Component Model Checking from Hierarchical Architecture
Application of model checking to isolated software components is not directly possible because a component does not form a complete program - the problem of missing environment oc...
Pavel Parizek, Frantisek Plasil