1159 search results - page 80 / 232 » The LINK system: MUC-4 test results and analysis |
140
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper proposes a lexicon-constrained character model that combines both word and character features to solve complicated issues in Chinese morphological analysis. A ...
165
click to vote
SAMT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...
206
click to vote
MBEES
2008
15 years 7 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
162
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—This video submission presents the experimental validation and testing of a novel Hybrid Mobile Robot (HMR) system design using a complete physical prototype. The HMR consists o...
169
click to vote
TAP
2008
Springer
15 years 6 months ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...