6693 search results - page 1012 / 1339 » Methods of Automatic Algorithm Generation |
124
Voted
TACAS
2009
Springer
15 years 10 months ago
2009
Springer
We discuss the problem of path feasibility for programs manipulating strings using a collection of standard string library functions. We prove results on the complexity of this pro...
149
Voted
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Emerging DNA sequencing technologies open up exciting new opportunities for genome sequencing by generating read data with a massive throughput. However, produced reads are signif...
130
Voted
ICASSP
2007
IEEE
15 years 10 months ago
2007
IEEE
Lung nodule detection, especially ground glass opacity (GGO) detection, in helical computed tomography (CT) images is a challenging Computer-Aided Detection (CAD) task due to the ...
123
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
—Patient monitoring via video and physiological data recording can now be performed outside hospitals. This procedure, usually performed in a prolonged manner, generates a consid...
109
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Test pattern decompression techniques are bounded with the algorithm of test pattern ordering and test data flow controlling. Some of the methods could have more sophisticated sor...