Sciweavers

9626 search results - page 18 / 1926
» Invariant Based Programming
Sort
View
CORR
2010
Springer
198views Education» more  CORR 2010»
13 years 6 months ago
Convex Graph Invariants
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
Venkat Chandrasekaran, Pablo A. Parrilo, Alan S. W...
ML
2007
ACM
144views Machine Learning» more  ML 2007»
13 years 9 months ago
Invariant kernel functions for pattern analysis and machine learning
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
Bernard Haasdonk, Hans Burkhardt
ESOP
2009
Springer
14 years 4 months ago
A Basis for Verifying Multi-threaded Programs
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
K. Rustan M. Leino, Peter Müller
SCIA
2007
Springer
114views Image Analysis» more  SCIA 2007»
14 years 3 months ago
Object Recognition Using Frequency Domain Blur Invariant Features
In this paper, we propose novel blur invariant features for the recognition of objects in images. The features are computed either using the phase-only spectrum or bispectrum of th...
Ville Ojansivu, Janne Heikkilä
EVOW
2003
Springer
14 years 2 months ago
Pixel Statistics and False Alarm Area in Genetic Programming for Object Detection
This paper describes a domain independent approach to the use of genetic programming for object detection problems. Rather than using raw pixels or high level domain specific feat...
Mengjie Zhang, Peter Andreae, Mark Pritchard