6693 search results - page 982 / 1339 » Methods of Automatic Algorithm Generation |
139
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
147
click to vote
ISBI
2008
IEEE
15 years 10 months ago
2008
IEEE
Neurobiologists are collecting large amounts of electron microscopy image data to gain a better understanding of neuron organization in the central nervous system. Image analysis ...
132
click to vote
ISM
2008
IEEE
15 years 10 months ago
2008
IEEE
Advances in video technology are being incorporated into today’s medical research and education. Medical videos contain important medical events, such as diagnostic or therapeut...
130
click to vote
ICDCS
2007
IEEE
2007
IEEE
Exploiting Symbolic Techniques in Automated Synthesis of Distributed Programs with Large State Space
15 years 10 months ago
Automated formal analysis methods such as program verification and synthesis algorithms often suffer from time complexity of their decision procedures and also high space complex...
122
click to vote
IRI
2007
IEEE
15 years 10 months ago
2007
IEEE
User feedback is widely deployed in recent multimedia research to refine retrieval performance. However, most of the existing online learning algorithms handle interactions of a s...