Sciweavers

665 search results - page 86 / 133
» Logos Machine Translation System
Sort
View
COLING
1990
13 years 9 months ago
Morphological Analysis and Synthesis by Automated Discovery and Acquisition of Linguistic Rules
':[his paper describes a rule-based machine learning approach to morphological processing in the system called XMAS. XMAS discovers and acquires linguistic rules from example...
Byoung-Tak Zhang, Yung Taek Kim
ESORICS
2002
Springer
14 years 7 months ago
Formal Security Analysis with Interacting State Machines
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 ...
David von Oheimb, Volkmar Lotz
ICCS
1993
Springer
14 years 1 days ago
Towards Domain-Independent Machine Intelligence
Adaptive predictive search (APS), is a learning system framework, which given little initial domain knowledge, increases its decision-making abilities in complex problems domains....
Robert Levinson
ACL
2010
13 years 6 months ago
Cross Lingual Adaptation: An Experiment on Sentiment Classifications
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...
Bin Wei, Christopher Pal
FMOODS
2008
13 years 9 months ago
Symbolic Step Encodings for Object Based Communicating State Machines
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...
Jori Dubrovin, Tommi A. Junttila, Keijo Heljanko