Sciweavers

315 search results - page 46 / 63
» Automatic generation of high coverage usability tests
Sort
View
NFM
2011
335views Formal Methods» more  NFM 2011»
13 years 2 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
NAACL
2007
13 years 9 months ago
Automatic Evaluation of Machine Translation Based on Rate of Accomplishment of Sub-Goals
The quality of a sentence translated by a machine translation (MT) system is difficult to evaluate. We propose a method for automatically evaluating the quality of each translati...
Kiyotaka Uchimoto, Katsunori Kotani, Yujie Zhang, ...
CVPR
2008
IEEE
14 years 10 months ago
Hierarchical, learning-based automatic liver segmentation
In this paper we present a hierarchical, learning-based approach for automatic and accurate liver segmentation from 3D CT volumes. We target CT volumes that come from largely dive...
Haibin Ling, Shaohua Kevin Zhou, Yefeng Zheng, Bog...
IDEAS
2005
IEEE
142views Database» more  IDEAS 2005»
14 years 1 months ago
Automatically Maintaining Wrappers for Web Sources
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
Juan Raposo, Alberto Pan, Manuel Álvarez, J...
LREC
2008
128views Education» more  LREC 2008»
13 years 9 months ago
Unsupervised Lexical Acquisition for Part of Speech Tagging
It is known that POS tagging is not very accurate for unknown words (words which the POS tagger has not seen in the training corpora). Thus, a first step to improve the tagging ac...
Dan Tufis, Elena Irimia, Radu Ion, Alexandru Ceaus...