Sciweavers

9626 search results - page 134 / 1926
» Invariant Based Programming
Sort
View
FOAL
2007
ACM
15 years 9 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
IPCV
2008
15 years 6 months ago
Robust Hough-Based Symbol Recognition Using Knowledge-Based Hierarchical Neural Networks
Abstract - A robust method for symbol recognition is presented that utilizes a compact signature based on a modified Hough Transform (HT) and knowledge-based hierarchical neural ne...
Alexander Wong, William Bishop
3DPVT
2006
IEEE
258views Visualization» more  3DPVT 2006»
15 years 11 months ago
3D Content-Based Search Based on 3D Krawtchouk Moments
In this paper a novel method for 3D content-based search and retrieval is proposed. Guided by the imperative need for a reliable 3D content based search tool and the very interest...
Athanasios Mademlis, Apostolos Axenopoulos, Petros...
PPSN
2010
Springer
15 years 3 months ago
Comparison-Based Optimizers Need Comparison-Based Surrogates
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
Ilya Loshchilov, Marc Schoenauer, Michèle S...