Search results for "translation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Mirna Adriani, Herika Hayurani, Syandra Sari	Indonesian-English Transitive Translation for Cross-Language Information Retrieval.	CLEF	2007	DBLP DOI BibTeX RDF
18	Letu Yang, Michael Poppleton	Automatic Translation from Combined B and CSP Specification to Java Programs.	B	2007	DBLP DOI BibTeX RDF
18	Manuel Medina González, Hirosato Nomura	An Approach to Spanish Subjunctive Mood in Japanese to Spanish Machine Translation.	Australian Conference on Artificial Intelligence	2007	DBLP DOI BibTeX RDF
18	Ramin Eslami, Hayder Radha	Translation-Invariant Contourlet Transform and Its Application to Image Denoising.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
18	Hsin-Hsi Chen, Yih-Chen Chang	Language Translation and Media Transformation in Cross-Language Image Retrieval.	ICADL	2006	DBLP DOI BibTeX RDF
18	Dejing Dou, Drew V. McDermott	Towards Theory Translation.	DALT	2006	DBLP DOI BibTeX RDF
18	Angela F. Freitas, Ana Cavalcanti 0001	Automatic Translation from Circus to Java.	FM	2006	DBLP DOI BibTeX RDF
18	Ryo Kitahara, Hidetoshi Ueno, Hideharu Suzuki, Norihiro Ishikawa, Takaaki Komura, Kenji Fujikawa, Haruo Takagi	MAPT: network address and port translation approach to IP multicast and its application to public wireless LANs.	IWCMC	2006	DBLP DOI BibTeX RDF	NAPT, public wireless LAN, SIP, multicast routing
18	Bradford Starkie, Menno van Zaanen, Dominique Estival	The Tenjinno Machine Translation Competition.	ICGI	2006	DBLP DOI BibTeX RDF
18	Menno van Zaanen, Jeroen Geertzen	Grammatical Inference for Syntax-Based Statistical Machine Translation.	ICGI	2006	DBLP DOI BibTeX RDF
18	Felipe Sánchez-Martínez, Juan Antonio Pérez-Ortiz, Mikel L. Forcada	Speeding Up Target-Language Driven Part-of-Speech Tagger Training for Machine Translation.	MICAI	2006	DBLP DOI BibTeX RDF
18	Yuichi Mitsudo	Pointing and Retrieving: A Data Translation Model for Real World Computing.	MDM	2006	DBLP DOI BibTeX RDF
18	Dapeng Yin, Min Shao, Peilin Jiang, Fuji Ren, Shingo Kuroiwa	Treatment of Quantifiers in Chinese-Japanese Machine Translation.	ICIC (2)	2006	DBLP DOI BibTeX RDF
18	Miao Li, Peng Gao, Jian Zhang 0075, Yi Luo	Phrase-Based Statistical Machine Translation by Using Reordering Search and Additional Features.	ICIC (2)	2006	DBLP DOI BibTeX RDF
18	Naokata Shikuma, Atsushi Igarashi	Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-Calculus.	ASIAN	2006	DBLP DOI BibTeX RDF
18	Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk	Certificate Translation for Optimizing Compilers.	SAS	2006	DBLP DOI BibTeX RDF
18	Herika Hayurani, Syandra Sari, Mirna Adriani	Query and Document Translation for English-Indonesian Cross Language IR.	CLEF	2006	DBLP DOI BibTeX RDF
18	Igor Mel'cuk	The Explanatory Combinatorial Dictionary as the Key Tool in Machine Translation.	FinTAL	2006	DBLP DOI BibTeX RDF
18	Masanori Dainaka, Shinta Nakayama, Isao Echizen, Hiroshi Yoshiura	Dual-Plane Watermarking for Color Pictures Immune to Rotation, Scale, Translation, and Random Bending.	IIH-MSP	2006	DBLP DOI BibTeX RDF
18	Lucia Specia, Maria das Graças Volpe Nunes	Exploiting the Translation Context for Multilingual WSD.	TSD	2006	DBLP DOI BibTeX RDF
18	András Hócza, András Kocsor	Hungarian-English Machine Translation Using GenPar.	TSD	2006	DBLP DOI BibTeX RDF
18	Jakub Kanis, Jirí Zahradil, Filip Jurcícek, Ludek Müller	Czech-Sign Speech Corpus for Semantic Based Machine Translation.	TSD	2006	DBLP DOI BibTeX RDF
18	Daniel Skrobo, Andro Milanovic, Sinisa Srbljic	Performance Evaluation of Program Translation in Service-Oriented Architectures.	ICNS	2006	DBLP DOI BibTeX RDF
18	Joseph Fong, Wilfred Ng, San Kuen Cheung, Ivan Au	Positioning-Based Query Translation Between SQL and XQL with Location Counter.	APWeb Workshops	2006	DBLP DOI BibTeX RDF
18	Ying Zhang, Phil Vines, Justin Zobel	An Empirical Comparison of Translation Disambiguation Techniques for Chinese-English Cross-Language Information Retrieval.	AIRS	2006	DBLP DOI BibTeX RDF
18	Anh Duy Nguyen, Deniz Gurkan	Optical CDMA Code Collision and Translation Performance Analysis.	LCN	2006	DBLP DOI BibTeX RDF
18	Diamantino Caseiro, Isabel Trancoso	Weighted Finite-State Transducer Inference for Limited-Domain Speech-to-Speech Translation.	PROPOR	2006	DBLP DOI BibTeX RDF
18	Paolo Atzeni, Paolo Cappellari, Philip A. Bernstein	Model-Independent Schema and Data Translation.	EDBT	2006	DBLP DOI BibTeX RDF
18	Min Zhang 0005, Haizhou Li 0001, Jian Su, Hendra Setiawan	A Phrase-Based Context-Dependent Joint Probability Model for Named Entity Translation.	IJCNLP	2005	DBLP DOI BibTeX RDF
18	Fai Wong, Dong-Cheng Hu, Yu-Hang Mao, Ming-Chui Dong, Yi-Ping Li	Machine Translation Based on Constraint-Based Synchronous Grammar.	IJCNLP	2005	DBLP DOI BibTeX RDF
18	Rajasekar Krishnamurthy, Raghav Kaushik, Jeffrey F. Naughton	XML Views as Integrity Constraints and their Use in Query Translation.	ICDE	2005	DBLP DOI BibTeX RDF
18	António Lopes 0001, Luís Miguel Botelho	Chomsky: A Content Language Translation Agent.	CEEMAS	2005	DBLP DOI BibTeX RDF
18	Jesús Andrés-Ferrer, José R. Navarro, Alfons Juan, Francisco Casacuberta	Word Translation Disambiguation Using Multinomial Classifiers.	IbPRIA (2)	2005	DBLP DOI BibTeX RDF
18	Shahram Khadivi, Hermann Ney	Automatic Filtering of Bilingual Corpora for Statistical Machine Translation.	NLDB	2005	DBLP DOI BibTeX RDF
18	Ayon Basumallik, Rudolf Eigenmann	Towards automatic translation of OpenMP to MPI.	ICS	2005	DBLP DOI BibTeX RDF	performance, MPI, OpenMP, compiler techniques, commodity clusters
18	Ángel F. Zazo Rodríguez, Carlos G. Figuerola, José Luis Alonso Berrocal, Viviana Fernández Marcial	Use of Free On-Line Machine Translation for Interactive Cross-Language Question Answering.	CLEF	2005	DBLP DOI BibTeX RDF
18	Whai-En Chen, Chia-Yung Su, Jui-Hung Weng	Development of IPv6-IPv4 Translation Mechanisms for SIP-Based VoIP Applications.	AINA	2005	DBLP DOI BibTeX RDF
18	Raghavendra Udupa, Tanveer A. Faruquie	An English-Hindi Statistical Machine Translation System.	IJCNLP	2004	DBLP DOI BibTeX RDF
18	José R. Navarro, Jorge González, David Picó, Francisco Casacuberta, Joan M. de Val, Ferran Fabregat, Ferran Pla, Jesús Tomás	SisHiTra : A Hybrid Machine Translation System from Spanish to Catalan.	EsTAL	2004	DBLP DOI BibTeX RDF
18	Trung-Hung Vo	Reuse of Free Online MT Engines to Develop a Meta-system of Multilingual Machine Translation.	EsTAL	2004	DBLP DOI BibTeX RDF
18	Hyun Ah Lee, Juntae Yoon, Gil-Chang Kim	Exploiting a Mono-bilingual Dictionary for English-Korean Translation Selection and Sense Disambiguation.	CICLing	2004	DBLP DOI BibTeX RDF
18	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
18	Nizar Habash	The Use of a Structural N-gram Language Model in Generation-Heavy Hybrid Machine Translation.	INLG	2004	DBLP DOI BibTeX RDF
18	Lei Huang 0006, Barbara M. Chapman, Zhenying Liu, Ricky A. Kendall	Efficient Translation of OpenMP to Distributed Memory.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
18	David Picó, Jesús Tomás, Francisco Casacuberta	GIATI: A General Methodology for Finite-State Translation Using Alignments.	SSPR/SPR	2004	DBLP DOI BibTeX RDF
18	Hiroaki Yamamoto	A New Translation from Semi-extended Regular Expressions into NFAs and Its Application to an Approximate Matching Problem.	ISAAC	2003	DBLP DOI BibTeX RDF
18	Mark H. Burstein	The Many Faces of Mapping and Translation for Semantic Web Services.	WISE	2003	DBLP DOI BibTeX RDF
18	Ken-etsu Fujita	A Sound and Complete CPS-Translation for lambda-mu-Calculus.	TLCA	2003	DBLP DOI BibTeX RDF
18	Stephen Nightingale, Hideki Tanaka	The Word Is Mightier Than the Count: Accumulating Translation Resources from Parsed Parallel Corpora.	CICLing	2003	DBLP DOI BibTeX RDF
18	Kazuaki Kishida, Noriko Kando	Two-Stage Refinement of Query Translation in a Pivot Language Approach to Cross-Lingual Information Retrieval: An Experiment at CLEF 2003.	CLEF	2003	DBLP DOI BibTeX RDF
18	Bonnie J. Dorr, Daqing He, Jun Luo, Douglas W. Oard, Richard M. Schwartz, Jianqiang Wang 0002, David M. Zajic	iCLEF 2003 at Maryland: Translation Selection and Document Selection.	CLEF	2003	DBLP DOI BibTeX RDF
18	Katalin Friedl, Gábor Ivanyos, Frédéric Magniez, Miklos Santha, Pranab Sen	Hidden translation and orbit coset in quantum computing.	STOC	2003	DBLP DOI BibTeX RDF
18	Jens Tröger, Cristina Cifuentes	Analysis of Virtual Method Invocation for Binary Translation.	WCRE	2002	DBLP DOI BibTeX RDF
18	Ryosuke Isotani, Kiyoshi Yamabana, Shinichi Ando, Ken Hanazawa, Shin-ya Ishikawa, Tadashi Emori, Ken-ichi Iso, Hiroaki Hattori, Akitoshi Okumura, Takao Watanabe	An Automatic Speech Translation System on PDAs for Travel Conversation.	ICMI	2002	DBLP DOI BibTeX RDF
18	David Pearce 0001, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran	A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.	ICLP	2002	DBLP DOI BibTeX RDF
18	Yan Qu, Gregory Grefenstette, David A. Evans 0001	Resolving Translation Ambiguity Using Monolingual Corpora.	CLEF	2002	DBLP DOI BibTeX RDF
18	Barbara M. Smith	A Dual Graph Translation of a Problem in 'Life'.	CP	2002	DBLP DOI BibTeX RDF
18	Igor Mel'cuk, Leo Wanner	Towards a Lexicographic Approach to Lexical Transfer in Machine Translation (Illustrated by the German-Russian Language Pair).	Mach. Transl.	2001	DBLP DOI BibTeX RDF	lexical clues, lexical transfer, lexicography, multiple lexical correspondence, Russian, semantic decomposition, German
18	Shachi Dave, Jignashu Parikh, Pushpak Bhattacharyya	Interlingua-based English-Hindi Machine Translation and Language Divergence.	Mach. Transl.	2001	DBLP DOI BibTeX RDF	language divergence, Universal Networking Language, generation, analysis, interlingua, Hindi
18	Ching-Yung Lin, Min Wu 0001, Jeffrey A. Bloom, Ingemar J. Cox, Matthew L. Miller, Yui Man Lui	Rotation, scale, and translation resilient watermarking for images.	IEEE Trans. Image Process.	2001	DBLP DOI BibTeX RDF
18	Jian De Wang, Zhao-Xiong Chen, He Yan Huang	Intelligent Case Based Machine Translation System.	CICLing	2001	DBLP DOI BibTeX RDF
18	Davide Ancona, Christopher Anderson, Ferruccio Damiani, Sophia Drossopoulou, Paola Giannini, Elena Zucca	An Effective Translation of Fickle into Java.	ICTCS	2001	DBLP DOI BibTeX RDF
18	Takanobu Nishiura, Rainer Gruhn, Satoshi Nakamura 0001	Automatic Steering Of Microphone Array And Video Camera Toward Multi-Lingual Tele-Conference Through Speech-To-Speech Translation.	ICME	2001	DBLP DOI BibTeX RDF
18	Ron M. Simpson, Thomas Leo McCluskey, Donghong Liu, Diane E. Kitchin	Knowledge Representation in Planning: A PDDL to OCLh Translation.	ISMIS	2000	DBLP DOI BibTeX RDF
18	Houria Mihoubi, Ana Simonet, Michel Simonet	An Ontology Driven Approach to Ontology Translation.	DEXA	2000	DBLP DOI BibTeX RDF
18	Angelo Montanari, Alberto Policriti, Matteo Slanina	Derivability in Locally Quantified Modal Logics via Translation in Set Theory.	MFCS	2000	DBLP DOI BibTeX RDF
18	Michael Gschwind, Kemal Ebcioglu, Erik R. Altman, Sumedh W. Sathaye	Binary translation and architecture convergence issues for IBM system/390.	ICS	2000	DBLP DOI BibTeX RDF	IBM System/390
18	Djoerd Hiemstra, Wessel Kraaij, Renée Pohlmann, Thijs Westerveld	Translation Resources, Merging Strategies, and Relevance Feedback for Cross-Language Information Retrieval.	CLEF	2000	DBLP DOI BibTeX RDF
18	Douglas W. Oard, Gina-Anne Levow, Clara I. Cabezas	CLEF Experiments at Maryland: Statistical Stemming and Backoff Translation.	CLEF	2000	DBLP DOI BibTeX RDF
18	Uwe Küssner, Dan Tidhar	Combining Different Translation Sources.	Natural Language Processing	2000	DBLP DOI BibTeX RDF
18	Harold S. Stone, Jacqueline Le Moigne, Morgan McGuire	The Translation Sensitivity of Wavelet-Based Registration.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	multiresolution search, wavelet transform, correlation, Image registration, image search, low-pass filter, Haar wavelet, Daubechies wavelet, high-pass filter
18	Kemal Ebcioglu, Erik R. Altman, Sumedh W. Sathaye, Michael Gschwind	Optimizations and Oracle Parallelism with Dynamic Translation.	MICRO	1999	DBLP DOI BibTeX RDF
18	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From SIGNAL to C.	Correct System Design	1999	DBLP DOI BibTeX RDF
18	Tijani Chahed, Caroline Fayet, Gérard Hébuterne	Framework for Translation of QoS and Performance Parameters between ATM and IP.	ISCC	1999	DBLP DOI BibTeX RDF
18	Catriel Beeri, Tova Milo	Schemas for Integration and Translation of Structured and Semi-structured Data.	ICDT	1999	DBLP DOI BibTeX RDF
18	Jie Liang, Thomas W. Parks	Image coding using translation invariant wavelet transforms with symmetric extensions.	IEEE Trans. Image Process.	1998	DBLP DOI BibTeX RDF
18	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From DC+ to C*.	FM-Trends	1998	DBLP DOI BibTeX RDF
18	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation for Synchronous Languages.	ICALP	1998	DBLP DOI BibTeX RDF
18	C. John Glossner, Stamatis Vassiliadis	DELFT-JAVA Link Translation Buffer.	EUROMICRO	1998	DBLP DOI BibTeX RDF
18	Yuqun Chen, Angelos Bilas, Stefanos N. Damianakis, Cezary Dubnicki, Kai Li 0001	UTLB: A Mechanism for Address Translation on Network Interfaces.	ASPLOS	1998	DBLP DOI BibTeX RDF
18	Rani Nelken, Nissim Francez	Automatic Translation of Natural Language System Specifications.	CAV	1996	DBLP DOI BibTeX RDF
18	Philippe de Groote	A CPS-Translation of the Lambda-µ-Calculus.	CAAP	1994	DBLP DOI BibTeX RDF
18	Hans Jürgen Ohlbach	Optimized Translation of Multi Modal Logic into Predicate Logic.	LPAR	1993	DBLP DOI BibTeX RDF
18	Iris Arad	BITS, A Hebrew-English bibliographic translation system.	Mach. Transl.	1991	DBLP DOI BibTeX RDF
18	Michael Zarechnak	The intermediary language for multilanguage translation.	Mach. Transl.	1986	DBLP DOI BibTeX RDF
18	Douglas W. Clark, Joel S. Emer	Performance of the VAX-11/780 Translation Buffer: Simulation and Measurement	ACM Trans. Comput. Syst.	1985	DBLP DOI BibTeX RDF	VAX
18	E. Gansner, Joseph R. Horgan, Chandra M. R. Kintala, D. J. Moore, Pamela Surko	Semantics and Correctness of a Query Language Translation.	POPL	1982	DBLP DOI BibTeX RDF
18	Nan C. Shu, Barron C. Housel, Vincent Y. Lum	CONVERT: A High Level Translation Definition Language for Data Conversion (Abstract).	SIGMOD Conference	1975	DBLP DOI BibTeX RDF
18	James P. Titus	The Nebulous future of machine translation.	Commun. ACM	1967	DBLP DOI BibTeX RDF
18	Ramon D. Faulk	An inductive approach to language translation.	Commun. ACM	1964	DBLP DOI BibTeX RDF
17	Michael Greenberg 0002, Benjamin C. Pierce, Stephanie Weirich	Contracts made manifest.	POPL	2010	DBLP DOI BibTeX RDF	blame, dynamic checking, refinement type, contract, translation, precondition, postcondition
17	Shinji Sumimoto, Kohta Nakashima, Akira Naruse, Kouichi Kumon, Takashi Yasui, Yoshikazu Kamoshida, Hiroya Matsuba, Atsushi Hori, Yutaka Ishikawa	The Design of Seamless MPI Computing Environment for Commodity-Based Clusters.	PVM/MPI	2009	DBLP DOI BibTeX RDF	MPI ABI Translation, Portable MPI programs, Dynamic linked library, Open MPI, MPICH2
17	Kenichi Yoshida, Fumio Hattori	Input Text Repairing for Multi-lingual Chat System.	HCI (9)	2009	DBLP DOI BibTeX RDF	Language Grid, multi-lingual chat, machine translation, cross-cultural communication
17	Hyeyeon Hong, Hanku Lee	APJava: an aspect-oriented parallel programming model in Java.	ICHIT	2009	DBLP DOI BibTeX RDF	translation scheme, Java, parallel programming, distributed computing, aspect-oriented programming
17	Jean-Baptiste Tristan, Xavier Leroy	Verified validation of lazy code motion.	PLDI	2009	DBLP DOI BibTeX RDF	lazy code motion, the coq proof assistant, redundancy elimination, translation validation, verified compilers
17	Christoph Pflügler, Andreas Schönberger, Guido Wirtz	Introducing partner shared states into ebBP to WS-BPEL translations.	iiWAS	2009	DBLP DOI BibTeX RDF	B2Bi, ebXML BPSS, translation, WS-BPEL, state based modeling
17	Hasan Amjad	Data Compression for Proof Replay.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Proof translation, Interactive theorem proving, SAT solvers
17	Xuerui Wang, Andrei Z. Broder, Evgeniy Gabrilovich, Vanja Josifovski, Bo Pang 0001	Cross-lingual query classification: a preliminary study.	CIKM-iNEWS	2008	DBLP DOI BibTeX RDF	web search, relevance feedback, machine translation, query classification, cross language
17	Antonio Sarasa Cabezuelo, Álvaro Navarro-Iborra, José Luis Sierra, Alfredo Fernández-Valmayor	Building a Syntax Directed Processing Environment for XML Documents by Combining SAX and JavaCC.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	XML Pipelines, XML Processing, SAX, Syntax-directed Translation, Javacc
17	Gustavo A. Casañ, Maria Asunción Castaño	A Connectionist Automatic Encoder and Translator for Natural Languages.	DCAI	2008	DBLP DOI BibTeX RDF	Automatic Word Representation, Neural Networks, Machine Translation