Sciweavers

9626 search results - page 134 / 1926
» Invariant Based Programming
Sort
View
FOAL
2007
ACM
15 years 10 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 7 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»
16 years 12 days 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 4 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...