Sciweavers

3224 search results - page 99 / 645
» Abstract Error Projection
Sort
View
IJCNLP
2004
Springer
15 years 11 months ago
Detection of Incorrect Case Assignments in Paraphrase Generation
Abstract. This paper addresses the issue of post-transfer process in paraphrasing. Our previous investigation into transfer errors revealed that case assignment tends to be incorre...
Atsushi Fujita, Kentaro Inui, Yuji Matsumoto
ICCL
1992
IEEE
15 years 10 months ago
Static analysis of PostScript code
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
R. Nigel Horspool, Jan Vitek
ACSD
2004
IEEE
95views Hardware» more  ACSD 2004»
15 years 10 months ago
Guided Model Checking with a Bayesian Meta-heuristic
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
Kevin D. Seppi, Michael Jones, Peter Lamborn
IIS
2004
15 years 7 months ago
Trigram morphosyntactic tagger for Polish
Abstract. We introduce an implementation of a plain trigram part-of-speech tagger which appears to work well on Polish texts. At this moment the tagger achieves 9.4% error rate, wh...
Lukasz Debowski
ECCV
1998
Springer
16 years 8 months ago
Computation of the Quadrifocal Tensor
This paper gives a practical and accurate algorithm for the computation of the quadrifocal tensor and extraction of camera matrices from it. Previous methods for using the quadrifo...
Richard I. Hartley