1606 search results - page 87 / 322 » Using task analysis in documentation field research |
126
click to vote
AMAST
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
148
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
This research demonstration presents the tool, Dynamic Interactive Views for Reverse Engineering (Diver). Diver supports software understanding through a trace focused user interf...
126
click to vote
ICDAR
2003
IEEE
15 years 8 months ago
2003
IEEE
An offline recognition system for Arabic handwritten words is presented. The recognition system is based on a semi-continuous 1-dimensional HMM. From each binary word image norma...
151
click to vote
AIRS
2006
Springer
15 years 7 months ago
2006
Springer
Recently, much research has been proposed using nature inspired algorithms to perform complex machine learning tasks. Ant Colony Optimization (ACO) is one such algorithm based on s...
148
click to vote
ICDAR
2011
IEEE
14 years 2 months ago
2011
IEEE
—Retrieval from Hindi document image collections is a challenging task. This is partly due to the complexity of the script, which has more than 800 unique ligatures. In addition,...