9443 search results - page 234 / 1889 » Web-centric language models |
152
click to vote
ACL
2006
15 years 8 months ago
2006
Current parsing models are not immediately applicable for languages that exhibit strong interaction between morphology and syntax, e.g., Modern Hebrew (MH), Arabic and other Semit...
144
click to vote
COLING
2002
15 years 6 months ago
2002
A machine translation model has been proposed where an input is translated through both source-language and target-language paraphrasing processes. We have implemented our prototy...
198
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
199
click to vote
POPL
1992
ACM
15 years 10 months ago
1992
ACM
Semantics for a Higher-Order Functional Language with Logic Variables Radha Jagadeesan Imperial College, London, UK SW7 2BZ. Keshav Pingali Cornell University, Ithaca, NY 14853. A...
204
click to vote
AOSE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...