Sciweavers

2861 search results - page 481 / 573
» Modelling Adaptive Systems in ForSyDe
Sort
View
136
Voted
GECCO
2007
Springer
268views Optimization» more  GECCO 2007»
15 years 10 months ago
Synthesis of analog filters on an evolvable hardware platform using a genetic algorithm
This work presents a novel approach to filter synthesis on a field programmable analog array (FPAA) architecture using a genetic algorithm (GA). First, a Matlab model of the FPA...
Joachim Becker, Stanis Trendelenburg, Fabian Henri...
136
Voted
AVSS
2005
IEEE
15 years 9 months ago
Look there! Predicting where to look for motion in an active camera network
A framework is proposed that answers the following question: if a moving object is observed by one camera in a pan-tilt-zoom (PTZ) camera network, what other camera(s) might be fo...
Ugur Murat Erdem, Stan Sclaroff
159
Voted
HASKELL
2005
ACM
15 years 9 months ago
Verifying haskell programs using constructive type theory
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
Andreas Abel, Marcin Benke, Ana Bove, John Hughes,...
160
Voted
MMSEC
2005
ACM
137views Multimedia» more  MMSEC 2005»
15 years 9 months ago
A fragile watermarking scheme for 3D meshes
In this paper, we propose a new fragile watermarking scheme for 3D meshes. Firstly, the watermark information is adaptively embedded into the mesh geometry by slightly adjusting t...
Hao-Tian Wu, Yiu-ming Cheung
130
Voted
EDBT
2004
ACM
147views Database» more  EDBT 2004»
15 years 9 months ago
Clustering Multidimensional Extended Objects to Speed Up Execution of Spatial Queries
Abstract. We present a cost-based adaptive clustering method to improve average performance of spatial queries (intersection, containment, enclosure queries) over large collections...
Cristian-Augustin Saita, François Llirbat