Sciweavers

3025 search results - page 146 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
ICVS
2003
Springer
15 years 8 months ago
The Imalab Method for Vision Systems
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
Augustin Lux
AUIC
2005
IEEE
15 years 8 months ago
Evaluation of Two Textual Programming Notations for Children
Many researchers have developed many programming environments for children. Typically each of these environments contains its own programming notation ranging from computer code t...
Timothy N. Wright, Andy Cockburn
CAV
2009
Springer
137views Hardware» more  CAV 2009»
16 years 3 months ago
VS3: SMT Solvers for Program Verification
We present VS3 , a tool that automatically verifies complex properties of programs and infers maximally weak preconditions and maximally strong postconditions by leveraging the pow...
Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Fost...
CCS
2009
ACM
15 years 10 months ago
Privacy-preserving genomic computation through program specialization
In this paper, we present a new approach to performing important classes of genomic computations (e.g., search for homologous genes) that makes a significant step towards privacy...
Rui Wang, XiaoFeng Wang, Zhou Li, Haixu Tang, Mich...
CEC
2010
IEEE
15 years 4 months ago
Evolving cascades of voting feature detectors for vehicle detection in satellite imagery
We propose an evolutionary method for detection of vehicles in satellite imagery which involves a large number of simple elementary features and multiple detectors trained by genet...
Krzysztof Krawiec, Bartosz Kukawka, Tomasz Macieje...