Search results for "translations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
106	Rida A. Bazzi, Gil Neiger	Simplifying fault-tolerance: providing the abstraction of crash failures.	J. ACM	2001	DBLP DOI BibTeX RDF	fault-tolerance, translations, crash failures
77	Orna Grumberg, Shmuel Katz	VeriTech: a framework for translating among model description notations.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF	Translating model notations, Incompatibilities in translations Faithful translations, Additional information about translations
66	Katerina Korenblat, Orna Grumberg, Shmuel Katz	Translations between Textual Transition Systems and Petri Nets.	IFM	2002	DBLP DOI BibTeX RDF	textual transition systems, structure and semantics preservation, Petri nets, model translations
63	Luca Lucchese, Guido M. Cortelazzo	Noise-Robust Estimation of Planar Roto-Translations with High Precision.	ICIP (1)	1997	DBLP DOI BibTeX RDF	noise-robust estimation, planar roto-translations, high precision, frequency domain technique, planar rotations, noise levels, planar translations, probability, iterative methods, iterative method, signal-to-noise ratios, noisy images, stochastic method
61	Andreas Maletti, Catalin Ionut Tîrnauca	Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms - Revisited.	CAI	2009	DBLP DOI BibTeX RDF	tree bimorphism, natural language processing, syntax-directed translation, regular tree language
61	Jonas Sjöbergh, Olof Sjöbergh, Kenji Araki	What Types of Translations Hide in Wikipedia?	LKR	2008	DBLP DOI BibTeX RDF
59	Guido M. Cortelazzo, M. Balanza	Frequency Domain Analysis of Translations with Piecewise Cubic Trajectories.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	frequency domain motion analysis, piecewise cubic trajectories, cubic spline trajectories, finite-duration effects, constant velocity motion, first-order model, motion estimation, motion estimation, translations, splines (mathematics), frequency-domain analysis
56	Qin-sheng Chen, Michel Defrise, Frank Deconinck	Symmetric Phase-Only Matched Filtering of Fourier-Mellin Transforms for Image Registration and Recognition.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	symmetric phase-only matched filtering, Fourier-Mellin transforms, 2D image matching, translated reference image, rotated reference image, scaled reference image, Fourier-Mellin invariant descriptor, parameter space translations, image translations, discrete implementation, image detection problems, multiobject identification, object recognition, robustness, noise, noise, image recognition, medical imaging, image registration, image registration, image matching, remote sensing, remote sensing, Fourier transforms, medical image processing, rotation, filtering theory, matched filters, algorithm performance, fingerprint recognition, fingerprint identification, discriminating power, translation invariance
56	Juris Hartmanis, Theodore P. Baker	On Simple Goedel Numberings and Translations.	ICALP	1974	DBLP DOI BibTeX RDF	Goedel numberings, complexity of translations, optimal Goedel numberings, translations
54	Shafriza Nisha Basah, Alireza Bab-Hadiashar, Reza Hoseinnezhad	Conditions for Segmentation of 2D Translations of 3D Objects.	ICIAP	2009	DBLP DOI BibTeX RDF	multibody structure-and-motion, robust estimation, Motion segmentation, fundamental matrix
54	Hiroshi Echizen-ya, Kenji Araki, Yoshio Momouchi, Koji Tochinai	Acquisition of Word Translations Using Local Focus-Based Learning in Ainu-Japanese Parallel Corpora.	CICLing	2004	DBLP DOI BibTeX RDF
54	Noriko Sugimoto	Learnability of Translations from Positive Examples.	ALT	1998	DBLP DOI BibTeX RDF
47	Rik Eshuis	Symbolic model checking of UML activity diagrams.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	Model checking, Unified Modeling Language, activity diagrams
47	J. C. Lagarias 0001	Geometric Models for Quasicrystals II. Local Rules Under Isometries.	Discret. Comput. Geom.	1999	DBLP DOI BibTeX RDF
46	Ryan Richardson, Edward A. Fox	Using bilingual ETD collections to mine phrase translations.	JCDL	2007	DBLP DOI BibTeX RDF	electronic theses and dissertations, phrase translation, machine translation
46	Shmuel Katz	Faithful Translations among Models and Specifications.	FME	2001	DBLP DOI BibTeX RDF
46	Fernando López-Ostenero, Julio Gonzalo, Anselmo Peñas, Felisa Verdejo	Noun Phrase Translations for Cross-Language Document Selection.	CLEF	2001	DBLP DOI BibTeX RDF
46	Uwe Egly, Thomas Rath	On the Practical Value of Different Definitional Translations to Normal Form.	CADE	1996	DBLP DOI BibTeX RDF
46	Iain A. Stewart	On Completeness for NP via Projection Translations.	CSL	1991	DBLP DOI BibTeX RDF
46	Hans-Peter Kriegel, Thomas Ottmann	Left-Fitting Translations.	ICALP	1977	DBLP DOI BibTeX RDF
45	Wai Lam, Ruizhang Huang, Pik-Shan Cheung	Learning phonetic similarity for matching named entity translations and mining new translations.	SIGIR	2004	DBLP DOI BibTeX RDF	learning phonetic information, named entity translation, text mining
43	Magnus Steinby, Catalin Ionut Tîrnauca	Syntax-Directed Translations and Quasi-alphabetic Tree Bimorphisms.	CIAA	2007	DBLP DOI BibTeX RDF	tree bimorphisms, natural language processing, syntax-directed translations, regular tree languages
41	George Voutsadakis	Categorical Abstract Algebraic Logic: Partially Ordered Algebraic Systems.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	quasi-varieties, order homomorphisms, order isomorphisms, polarity translations, order translations, algebraic systems, protoalgebraic -institutions, institutions, polarities, varieties, algebraizable logics, protoalgebraic logics
39	Daisuke Kimura	Call-by-Value Is Dual to Call-by-Name, Extended.	APLAS	2007	DBLP DOI BibTeX RDF
39	Shmuel Katz, Orna Grumberg	A Framework for Translating Models and Specifications.	IFM	2002	DBLP DOI BibTeX RDF
39	Yutaka Sasaki	Induction of Logic Programs Based on psi-Terms.	ALT	1999	DBLP DOI BibTeX RDF
39	Rida A. Bazzi, Gil Neiger	Simulating Crash Failures with Many Faulty Processors (Extended Abstract).	WDAG	1992	DBLP DOI BibTeX RDF
38	Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel	Adequacy of Compositional Translations for Observational Semantics.	IFIP TCS	2008	DBLP DOI BibTeX RDF
38	Qibo Zhu, Diana Zaiu Inkpen, Ash Asudeh	Automatic extraction of translations from web-based bilingual materials.	Mach. Transl.	2007	DBLP DOI BibTeX RDF	Automatic translation extraction, Bitext mapping, Parallel alignment, Translation memory system, Machine translation
38	Paolo Papotti, Riccardo Torlone	Automatic Generation of Model Translations.	CAiSE	2007	DBLP DOI BibTeX RDF
38	Yan Qu, Gregory Grefenstette, David A. Evans 0001	The Use of Monolingual Context Vectors for Missing Translations in Cross-Language Information Retrieval.	IJCNLP	2005	DBLP DOI BibTeX RDF
38	John C. Grundy, Rick Mugridge, John G. Hosking, Paul Kendall	Generating EDI Message Translations from Visual Specifications.	ASE	2001	DBLP DOI BibTeX RDF	domain-specific visual languages, message translation, XML, visual environments
38	Torben Amtoft, Franklyn A. Turbak	Faithful Translations between Polyvariant Flows and Polymorphic Types.	ESOP	2000	DBLP DOI BibTeX RDF
38	David Rosenthal, Francis Fung	A Test for Non-Disclosure in Security Level Translations.	S&P	1999	DBLP DOI BibTeX RDF
36	Gilles Barthe, Tarmo Uustalu	CPS translating inductive and coinductive types.	PEPM	2002	DBLP DOI BibTeX RDF	classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
36	Edward P. Lyvers, Owen Robert Mitchell	Precision Edge Contrast and Orientation Estimation.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	2-D spatial moments, edge contrast, square-aperture grid, subpixel translations, Sobel angle estimates, Nevatia-Babu operator, RMS error, pattern recognition, picture processing, picture processing, pattern analysis, Gaussian noise, orientation estimation
35	Deborah A. Hysell	Single sourcing for translations.	SIGDOC	2001	DBLP DOI BibTeX RDF	localization, translations, single sourcing, text reuse
35	Kimmo Fredriksson, Esko Ukkonen	Combinatorial Methods for Approximate Pattern Matching under Rotations and Translations in 3D Arrays.	SPIRE	2000	DBLP DOI BibTeX RDF	combinatorial methods, 3D arrays, three-dimensional pattern, three-dimensional volume, biological virus, pattern matching, translations, rotations, distance measures, voxels, incremental algorithms, minimum distance, three dimensional reconstruction, filtering algorithms, approximate pattern matching, real data
31	Brigitte Grau, Anne-Laure Ligozat, Isabelle Robba, Anne Vilnat	Term Translation Validation by Retrieving Bi-terms.	CLEF	2005	DBLP DOI BibTeX RDF
31	Yi Liu 0054, Rong Jin 0001, Joyce Y. Chai	A maximum coherence model for dictionary-based cross-language information retrieval.	SIGIR	2005	DBLP DOI BibTeX RDF	co-occurrence statistics, maximum coherence model, cross-language information retrieval
31	Manuel A. Pérez-Quiñones, Olga I. Padilla-Falto, Kate McDevitt	Automatic language translation for user interfaces.	Richard Tapia Celebration of Diversity in Computing Conference	2005	DBLP DOI BibTeX RDF	international interfaces, user interfaces, localization, translation, internationalization
31	Inge Li Gørtz, Signe Reuss, Morten Heine Sørensen	Strong Normalization from Weak Normalization by Translation into the Lambda-I-Calculus.	High. Order Symb. Comput.	2003	DBLP DOI BibTeX RDF	lambda-I-calculus, thunkification translation, normalization, functionals, continuation passing style translation
31	Daniel Pacholczyk, Mohamed Quafafou, Laurent Garcia	Optimistic vs. Pessimistic Interpretation of Linguistic Negation.	AIMSA	2002	DBLP DOI BibTeX RDF
31	Riccardo Torlone, Paolo Atzeni	A Unified Framework for Data Translation over the Web.	WISE (1)	2001	DBLP DOI BibTeX RDF	Heterogeneous Web-based Information Systems, XML, Metamodel, Model translation
31	Wil Dekkers, Martin W. Bunder, Henk Barendregt	Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus.	Arch. Math. Log.	1998	DBLP DOI BibTeX RDF	Mathematics Subject Classification:03B40
31	Pascale Fung, Kathleen R. McKeown	A Technical Word- and Term-Translation Aid Using Noisy Parallel Corpora across Language Groups.	Mach. Transl.	1997	DBLP DOI BibTeX RDF	Technical terms, translation aid, noisy corpora, alignment, Chinese
31	Rida A. Bazzi, Gil Neiger	Optimally Simulating Crash Failures in a Byzantine Environment.	WDAG	1991	DBLP DOI BibTeX RDF
30	David Bamman, Alison Babeu, Gregory R. Crane	Transferring structural markup across translations using multilingual alignment and projection.	JCDL	2010	DBLP DOI BibTeX RDF	annotation projection, multilingual alignment, knowledge transfer
30	Christian Knauer, Klaus Kriegel, Fabian Stehn	Minimizing the Weighted Directed Hausdorff Distance between Colored Point Sets under Translations and Rigid Motions.	FAW	2009	DBLP DOI BibTeX RDF
30	Fernando Silva Parreiras, Steffen Staab, Simon Schenk, Andreas Winter 0001	Model Driven Specification of Ontology Translations.	ER	2008	DBLP DOI BibTeX RDF
30	Wai Lam, Shing-Kit Chan, Ruizhang Huang	Named entity translation matching and learning: With application for mining unseen translations.	ACM Trans. Inf. Syst.	2007	DBLP DOI BibTeX RDF	learning phonetic information, named entity translation, Text mining
30	Claudio Mirolo, Stefano Carpin, Enrico Pagello	Incremental Convex Minimization for Computing Collision Translations of Convex Polyhedra.	IEEE Trans. Robotics	2007	DBLP DOI BibTeX RDF
30	Rita M. Aceves-Pérez, Manuel Montes-y-Gómez, Luis Villaseñor Pineda	Enhancing Cross-Language Question Answering by Combining Multiple Question Translations.	CICLing	2007	DBLP DOI BibTeX RDF
30	Rita M. Aceves-Pérez, Luis Villaseñor Pineda, Manuel Montes-y-Gómez	Using N-Gram Models to Combine Query Translations in Cross-Language Question Answering.	CICLing	2006	DBLP DOI BibTeX RDF
30	Yosi Keller, Amir Averbuch, Moshe Israeli	Pseudopolar-based estimation of large translations, rotations, and scalings in images.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
30	Fang Li 0001, Shuangqing Yuan, Huanye Sheng	Iterative Mining Translations from the Web.	WIRI	2005	DBLP DOI BibTeX RDF
30	Pablo Gamallo Otero, José Ramom Pichel Campos	An Approach to Acquire Word Translations from Non-parallel Texts.	EPIA	2005	DBLP DOI BibTeX RDF
30	Wai Lam, Pik-Shan Cheung, Ruizhang Huang	Mining events and new name translations from online daily news.	JCDL	2004	DBLP DOI BibTeX RDF	event discovery, multilingual information processing, news mining
30	Olivier Laurent 0001, Laurent Regnier	About Translations of Classical Logic into Polarized Linear Logic.	LICS	2003	DBLP DOI BibTeX RDF
30	Nicola Bertoldi, Marcello Federico	ITS-irst at CLEF 2002: Using N-Best Query Translations for CLIR.	CLEF	2002	DBLP DOI BibTeX RDF
30	Marcello Federico, Nicola Bertoldi	Statistical cross-language information retrieval using n-best query translations.	SIGIR	2002	DBLP DOI BibTeX RDF	statistical model, query translation, CLIR
30	Uwe Egly	Some Pitfalls of LK-to-LJ Translations and How to Avoid Them.	CADE	1997	DBLP DOI BibTeX RDF
30	Theo M. V. Janssen	An Overview of Compositional Translations.	COMPOS	1997	DBLP DOI BibTeX RDF
30	Doron Nussbaum, Jörg-Rüdiger Sack	Disassembling Two-Dimensional Composite Parts via Translations.	Optimal Algorithms	1989	DBLP DOI BibTeX RDF
30	Agnes Sólmundsdóttir, Dagbjört Guðhmundsdóttir, Lilja Björk Stefánsdóttir, Anton Ingason	Mean Machine Translations: On Gender Bias in Icelandic Machine Translations.	LREC	2022	DBLP BibTeX RDF
30	Nitin Madnani, Philip Resnik, Bonnie J. Dorr, Richard M. Schwartz	Are Multiple Reference Translations Necessary? Investigating the Value of Paraphrased Reference Translations in Parameter Optimization.	AMTA	2008	DBLP BibTeX RDF
28	Krister Lindén	Multilingual modeling of cross-lingual spelling variants.	Inf. Retr.	2006	DBLP DOI BibTeX RDF	Term translations, Systematic spelling variants, General edit distance, Cross-lingual information retrieval
28	Dominique Estival	The Language Translation Interface: A Perspective from the Users.	Mach. Transl.	2005	DBLP DOI BibTeX RDF	Multiple translations, Military users, Translation tools
28	D. Muthiayen, Vangalur S. Alagar, Ferhat Khendek, Azimeh Sefidcon	An approach to a synthesis of formal and visual description techniques for the development of real-time reactive systems.	RTCSA	2000	DBLP DOI BibTeX RDF	visual description techniques, real time reactive systems development, unified notation, user level modeling, implementation level, object oriented notation, Timed Reactive Object Model, TROM, semantic basis, mechanical translations, real-time systems, UML, object-oriented programming, program verification, specification languages, SDL, formal description techniques, program interpreters, abstraction levels, real time reactive systems, large scale applications, design analysis, object based systems
28	Shmuel Peleg, Joshua Herman	Panoramic mosaics by manifold projection.	CVPR	1997	DBLP DOI BibTeX RDF	panoramic mosaics, manifold projection, optical center, Quicktime VR, Surround Video, frame alignment, single reference frame, hand-held camera motion, virtual manifold, image plane translations, Pentium-PC, real-time system, quality, image matching, camera, video sequence, distortions, field of view, image rotations, image deformation, fish-eye lens
28	Arun K. Dalmia, Mohan M. Trivedi	Depth extraction using lateral or axial camera motion: an integration of depth from motion and stereo.	ICIP	1995	DBLP DOI BibTeX RDF	depth extraction, axial camera motion, lateral camera motion, stereo processing, depth measurements, temporal gradient analysis, spatial gradient analysis, stereo matching process, mean error, camera translations, feature extraction, motion estimation, image sequences, image sequence, experiments, image matching, cameras, stereo image processing, spatial variables measurement, integrated method
28	Jean-Dominique Gascuel, Christophe Lyon	A new set of tools to describe and tune trajectories.	CA	1995	DBLP DOI BibTeX RDF	Hermite splines, simplified tangents edition, unified simple interface, articulated structures, interactivity, computer animation, translations, orientations, trajectories, splines (mathematics), key-framed animation
28	Amit P. Sheth, James A. Larson, Evan Watkins	TAILOR, A Tool for Updating Views.	EDBT	1988	DBLP DOI BibTeX RDF	application semantics, semantic integrity constraints, semantic ambiguity problem, translations, view update, database semantics, semantic knowledge, rule based approach, relational views
23	Francisco Casacuberta, Jorge Civera, Elsa Cubel, Antonio L. Lagarda, Guy Lapalme, Elliott Macklovitch, Enrique Vidal 0001	Human interaction for high-quality machine translation.	Commun. ACM	2009	DBLP DOI BibTeX RDF
23	Tomi Janhunen, Ilkka Niemelä, Mark Sevalnev	Computing Stable Models via Reductions to Difference Logic.	LPNMR	2009	DBLP DOI BibTeX RDF
23	Joshua Albrecht, Rebecca Hwa	Regression for machine translation evaluation at the sentence level.	Mach. Transl.	2008	DBLP DOI BibTeX RDF	Machine learning, Machine translation, Evaluation metrics
23	Ruiqiang Zhang, Keiji Yasuda, Eiichiro Sumita	Chinese word segmentation and statistical machine translation.	ACM Trans. Speech Lang. Process.	2008	DBLP DOI BibTeX RDF	linear integration, statistical machine translation, translation model, Chinese word segmentation
23	Yohei Murakami, Toru Ishida 0001	A Layered Language Service Architecture for Intercultural Collaboration.	C5	2008	DBLP DOI BibTeX RDF	Web service composition, Intercultural collaboration
23	Linjie Zhang, Haifeng Gong, Tianfu Wu, Junyu Dong	Deformable template combining alignable and non-alignable sketches.	ICPR	2008	DBLP DOI BibTeX RDF
23	Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens	SC2SCFL: Automated SystemC to SystemCFL Translation.	SAMOS	2007	DBLP DOI BibTeX RDF
23	Vijay Janapa Reddi, Dan Connors, Robert Cohn, Michael D. Smith 0001	Persistent Code Caching: Exploiting Code Reuse Across Executions and Applications.	CGO	2007	DBLP DOI BibTeX RDF
23	Daniel Martinec, Tomás Pajdla	Robust Rotation and Translation Estimation in Multiview Reconstruction.	CVPR	2007	DBLP DOI BibTeX RDF
23	Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter 0001	A Policy Language for Distributed Usage Control.	ESORICS	2007	DBLP DOI BibTeX RDF
23	Naomi Yamashita, Toru Ishida 0001	Effects of machine translation on collaborative work.	CSCW	2006	DBLP DOI BibTeX RDF	lexical entrainment, multilingual groups, computer-mediated communication, machine translation, distributed work, reference
23	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
23	Herman Geuvers, Iris Loeb	From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions.	MFCS	2006	DBLP DOI BibTeX RDF
23	Gaolin Fang, Hao Yu 0005, Fumihito Nishino	Web-Based Terminology Translation Mining.	IJCNLP	2005	DBLP DOI BibTeX RDF
23	Philip Wadler	Call-by-Value Is Dual to Call-by-Name - Reloaded.	RTA	2005	DBLP DOI BibTeX RDF
23	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
23	M. A. Zerafat Pisheh, Abbas Sheikhi	Detection and Compensation of Image Sequence Jitter Due to an Unstable CCD Camera for Video Tracking of a Moving Target.	3DPVT	2004	DBLP DOI BibTeX RDF
23	Karl Aberer, Philippe Cudré-Mauroux, Manfred Hauswirth	The chatty web: emergent semantics through gossiping.	WWW	2003	DBLP DOI BibTeX RDF	semantic agreements, self-organization, semantic integration
23	Shai Ben-David, Johannes Gehrke, Reba Schuller	A theoretical framework for learning from a pool of disparate data sources.	KDD	2002	DBLP DOI BibTeX RDF
23	Tarmo Uustalu	Monad Translating Inductive and Coinductive Types.	TYPES	2002	DBLP DOI BibTeX RDF
23	Radu Soricut, Kevin Knight, Daniel Marcu	Using a Large Monolingual Corpus to Improve Translation Accuracy.	AMTA	2002	DBLP DOI BibTeX RDF
23	Alon Efrat, Piotr Indyk, Suresh Venkatasubramanian	Pattern matching for sets of segments.	SODA	2001	DBLP BibTeX RDF
23	Turid Hedlund, Heikki Keskustalo, Ari Pirkola, Eija Airio, Kalervo Järvelin	Utaclir @ CLEF 2001 - Effects of Compound Splitting and N-Gram Techniques.	CLEF	2001	DBLP DOI BibTeX RDF
23	Jianqiang Wang 0002, Douglas W. Oard	iCLEF 2001 at Maryland: Comparing Term-for-Term Gloss and MT.	CLEF	2001	DBLP DOI BibTeX RDF
23	Helmut Alt, Ferran Hurtado	Packing Convex Polygons into Rectangular Boxes.	JCDCG	2000	DBLP DOI BibTeX RDF
23	Pierre McKenzie, Thomas Schwentick, Denis Thérien, Heribert Vollmer	The Many Faces of a Translation.	ICALP	2000	DBLP DOI BibTeX RDF
23	Pierre-Louis Curien, Hugo Herbelin	The duality of computation.	ICFP	2000	DBLP DOI BibTeX RDF