3799 search results - page 675 / 760 » An Engineering Approach to Formal Methods |
121
click to vote
CVPR
2008
IEEE
16 years 6 months ago
2008
IEEE
In this work we aim to capitalize on the availability of Internet image search engines to automatically create image training sets from user provided queries. This problem is part...
117
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper presents an automatic grading prototype system developed as recognition engine for Japanese KANJI Dictation Test which aims to certificate the reading and writing abili...
147
click to vote
SIGCSE
2009
ACM
16 years 5 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
121
click to vote
PAKDD
2009
ACM
16 years 1 months ago
2009
ACM
Abstract. Since current search engines employ link-based ranking algorithms as an important tool to decide a ranking of sites, Web spammers are making a significant effort to man...
135
click to vote
CSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The hidden knowledge in social networks data can be regarded as an important resource for criminal investigations which can help finding the structure and organization of a crim...