Sciweavers

862 search results - page 116 / 173
» Fuzzy modelling using fuzzy mathematical programming
Sort
View
IWFM
2003
172views Formal Methods» more  IWFM 2003»
14 years 11 months ago
On Continuous Models of Computation: Towards Computing the Distance Between (Logic) Programs
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
Anthony Karel Seda, Máire Lane
EH
1999
IEEE
351views Hardware» more  EH 1999»
15 years 2 months ago
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
Marek A. Perkowski, Alan Mishchenko, Anatoli N. Ch...
ENVSOFT
2008
141views more  ENVSOFT 2008»
14 years 9 months ago
Geomorphometric landscape analysis using a semi-automated GIS-approach
This paper presents LANDFORM, a customized GIS application for semi-automated classification of landform elements, based on topographic attributes like curvature or elevation perc...
Bernhard Klingseisen, Graciela Metternicht, Gernot...
68
Voted
CDC
2009
IEEE
170views Control Systems» more  CDC 2009»
15 years 2 months ago
Adaptive constraint-filtering method and its application to GPS positioning
—To deal with the estimation problem for systems subject to constraints while the corresponding noise processes are not completely known, the adaptive constraint-filtering method...
Tsai-Hsin Chang, Li-Sheng Wang, Fan-Ren Chang
CG
2004
Springer
14 years 9 months ago
Procedural 3D texture synthesis using genetic programming
The automatic synthesis of procedural textures for 3D surfaces using genetic programming is investigated. Genetic algorithms employ a search strategy inspired by Darwinian natural...
Adam Hewgill, Brian J. Ross