634 search results - page 107 / 127 » Completion Procedures as Semidecision Procedures |
134
click to vote
ICDAR
2009
IEEE
15 years 19 days ago
2009
IEEE
BanglaOCR is currently the only open source optical character recognition (OCR) software for the Bangla (Bengali) script developed by the Center for Research on Bangla Language Pr...
131
click to vote
ICTAC
2009
Springer
15 years 18 days ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
116
Voted
DSD
2010
IEEE
15 years 8 days ago
2010
IEEE
Asynchronous circuit implementations operating under strong constraints (DIMS, Direct Logic, some of NCL gates, etc.) are attractive due to: 1) regularity; 2) combined implementati...
130
click to vote
BMVC
2010
14 years 10 months ago
2010
View planning for three-dimensional (3D) reconstruction and inspection solves the problem of finding an efficient sequence of views allowing complete and high quality reconstructi...
101
click to vote
NAR
2011
14 years 5 months ago
2011
The Protein Circular Dichroism Data Bank (PCDDB) is a public repository that archives and freely distributes circular dichroism (CD) and synchrotron radiation CD (SRCD) spectral d...