3038 search results - page 244 / 608 » Industrial evolutionary computing |
149
click to vote
EVOW
2010
Springer
15 years 8 months ago
2010
Springer
Recognizing arbitrary objects in images or video sequences is a difficult task for a computer vision system. We work towards automated learning of object detectors from video seque...
143
click to vote
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Biological populations are dynamic in both space and time, that is, the population size of a species fluctuates across their habitats over time. There are rarely any static or fix...
200
click to vote
Publication
A heuristic algorithm is proposed for dynamic calculation of the median and other quantiles. The estimates are produced dynamically as the observations are generated. The observati...
136
click to vote
CAV
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We consider a fully SAT-based method of unbounded symbolic model checking based on computing Craig interpolants. In benchmark studies using a set of large industrial circ...
113
click to vote
TSMC
2008
15 years 4 months ago
2008
An algorithm is developed for computing which sensors to add to obtain maximum fault detectability and fault isolability. The method is based on only the structural information in...