Sciweavers

478 search results - page 85 / 96
» Discriminative Modeling of Extraction Sets for Machine Trans...
Sort
View
CRV
2011
IEEE
337views Robotics» more  CRV 2011»
12 years 8 months ago
Object Detection Using Principal Contour Fragments
Abstract—Contour features play an important role in object recognition. Psychological experiments have shown that maximum-curvature points are most distinctive along a contour [6...
Changhai Xu, Benjamin Kuipers
ICFP
2012
ACM
11 years 11 months ago
Proof-producing synthesis of ML from higher-order logic
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
Magnus O. Myreen, Scott Owens
GECCO
2007
Springer
177views Optimization» more  GECCO 2007»
14 years 3 months ago
Evolving problem heuristics with on-line ACGP
Genetic Programming uses trees to represent chromosomes. The user defines the representation space by defining the set of functions and terminals to label the nodes in the trees. ...
Cezary Z. Janikow
ML
2006
ACM
143views Machine Learning» more  ML 2006»
13 years 9 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton
CEC
2007
IEEE
14 years 29 days ago
Evolving hypernetworks for pattern classification
Abstract-- Hypernetworks consist of a large number of hyperedges that represent higher-order features sampled from training patterns. Evolutionary algorithms have been used as a me...
Joo-Kyung Kim, Byoung-Tak Zhang