3025 search results - page 566 / 605 » Automatic Programming of Robots Using Genetic Programming |
ENVSOFT
2007
14 years 11 months ago
2007
The SISSI program implements a novel approach for the estimation of the optimal sample size in experimental data collection. It provides avisual evaluation system of sample size d...
141
click to vote
JSC
2010
14 years 6 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
128
click to vote
IFIP
2005
Springer
15 years 5 months ago
2005
Springer
Digital forensic investigators are often faced with the task of manually examining a large number of (photographic) images in order to identify potential evidence. The task can be...
CVPR
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
Growing transistor counts, limited power budgets, and the breakdown of voltage scaling are currently conspiring to create a utilization wall that limits the fraction of a chip tha...