3707 search results - page 299 / 742 » A Simple Technique for Self-Calibration |
138
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...
185
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In the fields of image processing and recognition, image segmentation is an important basic technique in which an image is partitioned into multiple regions (sets of pixels). ...
169
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— In this paper, a revised form of Implicit Context Representation Cartesian Genetic Programming is used in the development of a diagnostic tool for the assessment of patients wi...
141
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract— In this paper we wish to investigate how optimization problems involving angles can best be handled when using Differential Evolution (DE) as the optimization technique...
162
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...