Sciweavers

128 search results - page 6 / 26
» Spoken-Language Translation Method Using Examples
Sort
View
WSC
1997
14 years 10 months ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi
106
Voted
COLING
1992
14 years 10 months ago
Learning Translation Templates From Bilingual Text
This paper proposes a two-phase example-based machine translation methodology which develops translation templates from examples and then translates using template matching. This ...
Hiroyuki Kaji, Yuuko Kida, Yasutsugu Morimoto
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 1 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
FM
2006
Springer
127views Formal Methods» more  FM 2006»
15 years 1 months ago
Using Domain-Independent Problems for Introducing Formal Methods
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
Raymond T. Boute
80
Voted
COLING
2010
14 years 4 months ago
Automated Translation of Semantic Relationships
We present a method for translating semantic relationships between languages where relationships are defined as pattern clusters. Given a pattern set which represents a semantic r...
Dmitry Davidov, Ari Rappoport