10275 search results - page 296 / 2055 » Case Studies of Autonomy |
203
click to vote
ERSHOV
2009
Springer
15 years 4 months ago
2009
Springer
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
208
click to vote
IADIS
2009
15 years 4 months ago
2009
In this paper we present our evaluations of using an Information Retrieval library in a commercial employment website with over 300,000 searches a day. Comparison of existing rela...
142
Voted
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
228
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Performance evaluation of document recognition systems is a difficult and practically important problem. Issues arise in defining requirements, in characterizing the system's...