103 search results - page 19 / 21 » UnitCheck: Unit Testing and Model Checking Combined |
123
click to vote
ICDAR
2009
IEEE
15 years 6 months ago
2009
IEEE
Amharic is the official language of Ethiopia and uses Ethiopic script for writing. In this paper, we present writer-independent HMM-based Amharic word recognition for offline hand...
ALIFE
2000
14 years 11 months ago
2000
Army ant colonies display complex foraging raid patterns involving thousands of individuals communicating through chemical trails. In this article we explore, by means of a simple ...
102
click to vote
SIGSOFT
2009
ACM
15 years 6 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
WWW
2007
ACM
16 years 8 days ago
2007
ACM
The primary function of current Web search engines is essentially relevance ranking at the document level. However, myriad structured information about real-world objects is embed...
ICALP
2009
Springer
15 years 12 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...