6693 search results - page 752 / 1339 » Methods of Automatic Algorithm Generation |
167
Voted
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
Automatic unloading of piled box-like objects is undoubtedly of great importance to the industry. In this contribution a system addressing this problem is described: We employ a l...
221
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
258
Voted
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Significant efforts are currently invested in application integration to enable the interaction and composition of business processes of different companies, yielding complex, mul...
190
Voted
CVPR
2008
IEEE
16 years 1 months ago
2008
IEEE
Computer users with visual impairment cannot access the rich graphical contents in print or digital media unless relying on visual-to-tactile conversion, which is done primarily b...
195
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
CALL (Computer Assisted Language Learning) systems using ASR (Automatic Speech Recognition) for second language learning have received increasing interest recently. However, it st...