11321 search results - page 193 / 2265 » Improvements to Turing's method |
167
click to vote
ISAAC
2000
Springer
15 years 10 months ago
2000
Springer
We describe an algorithm for enumerating all vertices, edges and faces of a planar subdivision stored in any of the usual pointer-based representations, while using only a constant...
161
click to vote
TACAS
2000
Springer
15 years 10 months ago
2000
Springer
Conformance testing is still the main industrial validation technique for telecommunication protocols. The automatic construction of test cases based on the model approach is hinde...
145
click to vote
EMNLP
2007
15 years 8 months ago
2007
Inclusions from other languages can be a significant source of errors for monolingual parsers. We show this for English inclusions, which are sufficiently frequent to present a ...
150
click to vote
ICSQP
1994
15 years 8 months ago
1994
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
156
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Integrating Parts of Speech (POS) information to Machine Translation (MT) model usually amounts to significant changes in the MT decoder. We present a method to rapidly integrate...