Sciweavers

2702 search results - page 109 / 541
» Practically Applicable Formal Methods
Sort
View
ICIC
2005
Springer
15 years 3 months ago
Borderline-SMOTE: A New Over-Sampling Method in Imbalanced Data Sets Learning
In recent years, mining with imbalanced data sets receives more and more attentions in both theoretical and practical aspects. This paper introduces the importance of imbalanced da...
Hui Han, Wenyuan Wang, Binghuan Mao
JGO
2010
121views more  JGO 2010»
14 years 8 months ago
The oracle penalty method
A new and universal penalty method is introduced in this contribution. It is especially intended to be applied in stochastic metaheuristics like genetic algorithms, particle swarm...
Martin Schlüter, Matthias Gerdts
SFM
2011
Springer
253views Formal Methods» more  SFM 2011»
14 years 25 days ago
Application-Layer Connector Synthesis
The heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to coo...
Paola Inverardi, Romina Spalazzese, Massimo Tivoli
COLT
2005
Springer
15 years 3 months ago
Towards a Theoretical Foundation for Laplacian-Based Manifold Methods
In recent years manifold methods have attracted a considerable amount of attention in machine learning. However most algorithms in that class may be termed “manifold-motivatedâ€...
Mikhail Belkin, Partha Niyogi
ACIVS
2005
Springer
15 years 3 months ago
A Hybrid Color-Based Foreground Object Detection Method for Automated Marine Surveillance
This paper proposes a hybrid foreground object detection method suitable for the marine surveillance applications. Our approach combines an existing foreground object detection met...
Daniel Socek, Dubravko Culibrk, Oge Marques, Hari ...