Sciweavers

2702 search results - page 238 / 541
» constraints 2008
Sort
View
EVOW
2008
Springer
15 years 8 months ago
Implicit Fitness Functions for Evolving a Drawing Robot
We describe an approach to artificially evolving a drawing robot using implicit fitness functions, which are designed to minimise any direct reference to the line patterns made by ...
Jon Bird, Phil Husbands, Martin Perris, Bill Bigge...
DRR
2008
15 years 8 months ago
Efficient implementation of local adaptive thresholding techniques using integral images
Adaptive binarization is an important first step in many document analysis and OCR processes. This paper describes a fast adaptive binarization algorithm that yields the same qual...
Faisal Shafait, Daniel Keysers, Thomas M. Breuel
VAMOS
2008
Springer
15 years 8 months ago
Model-Based Implementation of Meta-Variability Constructs: A Case Study using Aspects
In this paper, we introduce the concept of metavariability, i.e., variability with respect to basic variability attributes like binding time or constraints. While the main focus o...
Klaus Schmid, Holger Eichelberger
AMAI
2008
Springer
15 years 6 months ago
Stable models and difference logic
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
Ilkka Niemelä
MCS
2008
Springer
15 years 6 months ago
A nonsmooth Newton's method for control-state constrained optimal control problems
We investigate optimal control problems subject to mixed control-state constraints. The necessary conditions are stated in terms of a local minimum principle. By use of the Fischer...
Matthias Gerdts