789 search results - page 95 / 158 » The Candide System for Machine Translation |
144
click to vote
ESORICS
2002
Springer
16 years 3 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
135
Voted
ICCS
1993
Springer
15 years 8 months ago
1993
Springer
Adaptive predictive search (APS), is a learning system framework, which given little initial domain knowledge, increases its decision-making abilities in complex problems domains....
150
click to vote
ACL
2010
15 years 2 months ago
2010
In this paper, we study the problem of using an annotated corpus in English for the same natural language processing task in another language. While various machine translation sy...
146
click to vote
CLEF
2010
Springer
15 years 5 months ago
2010
Springer
We present our hybrid system for the PAN challenge at CLEF 2010. Our system performs plagiarism detection for translated and non-translated externally as well as intrinsically plag...
213
Voted
FMOODS
2008
15 years 5 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...