Philip Wadler - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged translation

On the tiling by translation problemSrecko Brlek, Xavier Provençal, Jean-Marc Fedou. DAM, 157(3):464-475, 2009. [doi]

Partial Translation Verification for Untrusted Code-GeneratorsMatthew Staats, Mats Per Erik Heimdahl. icfem 2008: 226-237 [doi]

Links: Web Programming Without TiersEzra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop. FMCO 2007: 266-296 [doi]

Dictionaries for English-Vietnamese Machine TranslationLe Manh Hai, Nguyen Chanh Thanh, Nguyen Chi Hieu, Phan Thi Tuoi. iccpol 2006: 363-369 [doi]

Syntactic mismatches in machine translationIgor Mel cuk, Leo Wanner. mt, 20(2):81-138, 2006. [doi]

Identifying universals of text translationIdo Kanter, Haggai Kfir, Brenda Malkiel, Miriam Shlesinger. jql, 13(1):35-43, 2006. [doi]

Easing Erroneous Translations in Cross-Language Image Retrieval Using Word AssociationsMasashi Inoue. clef 2006: 582-591 [doi]

Pairs of Convex Bodies with Centrally Symmetric Intersections of TranslatesValeriu Soltan. dcg, 33(4):605-616, 2005. [doi]

Maximum probability/entropy translating of contiguous categorical observations into frequenciesamc, 161(2):347-351, 2005. [doi]

Address translation in telecommunication featuresPamela Zave. TOSEM, 13(1):1-36, 2004. [doi]

An English-Hindi Statistical Machine Translation SystemRaghavendra Udupa, Tanveer A. Faruquie. ijcnlp 2005: 254-262 [doi]

Machine Translation: From Real Users to Research, 6th Conference of the Association for Machine Translation in the Americas, AMTA 2004, Washington, DC, USA, September 28-October 2, 2004, ProceedingsRobert E. Frederking, Kathryn Taylor, editors, Volume 3265 of Lecture Notes in Computer Science, Springer, 2004.

An Experiment on Japanese-Uighur Machine Translation and Its EvaluationMuhtar Mahsut, Yasuhiro Ogawa, Kazue Sugino, Katsuhiko Toyama, Yasuyoshi Inagaki. amta 2004: 208-216 [doi]

Doubly beta-Derived Translation PlanesVito Abatangelo, Bambina Larato. dcc, 28(1):65-74, 2003.

Machine Translation Versus Dictionary and Text StructureLarissa N. Beliaeva. jql, 10(2):193-211, 2003. [doi]

Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to MonoidsVolker Diekert, Paul Gastin. BIRTHDAY 2002: 26-38 [doi]

Transversal-Free Translation NetsVikram Jha, Norman L. Johnson. dcc, 27(3):195-205, 2002.

A Higher-Order Colon TranslationOlivier Danvy, Lasse R. Nielsen. FLOPS 2001: 78-91 [doi]

English-Dutch CLIR Using Query Translation TechniquesMirna Adriani. clef 2002: 219-225 [doi]

Korean Adverb Ordering in English-Korean Machine Translation Using ClusteringShin Won Lee, Dong Un An, Seong Jong Chung. nlprs 2001: 723-728 [doi]

The Week at a Glance - Cross-language Cross-document Information Extraction and TranslationJames R. Cowie, Yevgeny Ludovik, Hugo Molina-Salgado, Sergei Nirenburg. COLING 2000: 1007-1010 [doi]

Envisioning Machine Translation in the Information Future, 4th Conference of the Association for Machine Translation in the Americas, AMTA 2000, Cuernavaca, Mexico, October 10-14, 2000, ProceedingsJohn S. White, editor, Volume 1934 of Lecture Notes in Computer Science, Springer, 2000.

What s Been Forgotten in Translation MemoryElliott Macklovitch, Graham Russell. amta 2000: 137-146 [doi]

Direct Machine Translation Systems as Dynamical Systems: The Iterative Semantic Processing (ISP) ParadigmPaul Andrew Watters, Malti Patel. jql, 7(1):43-51, 2000. [doi]

Parallelization of Divide-and-Conquer by Translation to Nested LoopsChristoph A. Herrmann, Christian Lengauer. JFP, 9(3):279-310, 1999.

Evaluierung der linguistischen Leistungsfähigkeit von Translation Memory-Systemen - ein ErfahrungsberichtUwe Reinke. ldvf, 16(1/2):100-117, 1999. [doi]

Two Ways to Bake Your Pizza - Translating Parameterised Types into JavaMartin Odersky, Enno Runne, Philip Wadler. Dagstuhl 2000: 114-132 [doi]

Complexity preserving increase of the capacity of bidirectional associative memories by dilation and translationBurkhard Lenze. NN, 11(6):1041-1048, 1998. [doi]

Can Simultaneous Interpretation Help Machine Translation?Dan Loehr. amta 1998: 213-224 [doi]

Pizza into Java: Translating Theory into PracticeMartin Odersky, Philip Wadler. POPL 1997: 146-159 [doi]

Logos Machine Translation Systemanlp 1997: 17 [doi]

Limited-Range Wavelength Translation in All-Optical NetworksJennifer M. Yates, Jonathan P. R. Lacey, David Everitt, Mark Summerfield. infocom 1996: 954-961

The Translation Planes of Order 49Rudolf Mathon, Gordon F. Royle. dcc, 5(1):57-72, 1995.

Large-scale automatic extraction of an English-Chinese translation lexiconDekai Wu, Xuanyin Xia. mt, 9(3-4):285-313, 1994. [doi]

A Practical Evaluation of an Integrated Translation Tool during a Large Scale Localisation ProjectReinhard Schäler. anlp 1994: 192-193 [doi]

An Algorithm for Identifying Cognates in Bilingual Wordlists and its Applicability to Machine TranslationJacques B. M. Guy. jql, 1(1):35-42, 1994.

An Example Concerning the Translative Kissing Number of Convex BodyChuanming Zong. dcg, 12:183-188, 1994.

Independent Collections of Translates of Boxes and a Conjecture due to GrübaumDaniel Q. Naiman, Henry P. Wynn. dcg, 9:101-105, 1993.

Constructions of Large Translation Nets with Nonabelian Translation GroupsDirk Hachenberger. dcc, 1(3):219-236, 1991.

STS: An Experimental Sentence Translation SystemEric Wehrli. COLING 1990: 76-78 [doi]

Representing orders on the plane by translating points and linesDAM, 27(1-2):147-156, 1990. [doi]

Efficient axis-translation of binary digital pictures by blocks in linear quadtree representationT. R. Walsh. cvgip, 41(3):282-292, 1988. [doi]

Finite Coverings by Translates of Centrally Symmetric Convex DomainsGábor Fejes Tóth. dcg, 2:353-363, 1987.

Densest Packing of Translates of the Union of Two CirclesL. Fejes Tóth. dcg, 1:307-314, 1986.

A Translation Plane of Order 11:::2:::Mauro Capursi. JCT, 35(3):289-300, 1983.

A Pragmatic Concept Of Theme And Rheme For Machine TranslationChrista Hauenschild. COLING 1982: 121-123 [doi]

The Translation Planes of Order 16 That Admit PSL(2, 7)N. L. Johnson. JCT, 26(2):127-134, 1979.

Remark on Fortran Translation of Algorithm 409: Discrete Chebychev Curve Fit [E2] R. Futrell. TOMS, 4(1):95, 1978. [doi]

Translation of Decision TablesUdo W. Pooch. ACM Comput. Surv., 6(2):125-151, 1974.

Corrigendum: Translation of Decision Tables Udo W. Pooch. ACM Comput. Surv., 6(4):321, 1974.

runs on WebDSL