Search results for "dialects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Petra Malik, Mark Utting	CZT: A Framework for Z Tools.	ZB	2005	DBLP DOI BibTeX RDF
14	Naomi Nagy, Xiaoli Zhang, George Nagy, Edgar W. Schneider	A Quantitative Categorization of Phonemic Dialect Features in Context.	CONTEXT	2005	DBLP DOI BibTeX RDF
14	Sergiu Nedevschi, Rabin K. Patra, Eric A. Brewer	Hardware speech recognition for user interfaces in low cost, low power devices.	DAC	2005	DBLP DOI BibTeX RDF	TIER, tamil, low power, speech recognition, ASIC
14	Helen M. Meng, P. C. Ching, Shuk Fong Chan, Yee Fong Wong, Cheong Chat Chan	ISIS: an adaptive, trilingual conversational system with interleaving interaction and delegation dialogs.	ACM Trans. Comput. Hum. Interact.	2004	DBLP DOI BibTeX RDF	Human-computer spoken language interface, interaction and delegation dialogs
14	Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	A model for abstract process specification, verification and composition.	ICSOC	2004	DBLP DOI BibTeX RDF	BPEL abstract process, web services
14	Iain Phillips 0001, Maria Grazia Vigliotti	Electoral Systems in Ambient Calculi.	FoSSaCS	2004	DBLP DOI BibTeX RDF
14	Daniele Braga, Alessandro Campi, Stefano Ceri	XQBE: A Graphical Interface for XQuery Engines.	EDBT	2004	DBLP DOI BibTeX RDF
14	Vitaliy L. Khizder, Grant E. Weddell	Reasoning about Uniqueness Constraints in Object Relational Databases.	IEEE Trans. Knowl. Data Eng.	2003	DBLP DOI BibTeX RDF	uniqueness constraints, subsumption algorithms, description logics, Complex objects, object relational databases, semantic query optimization
14	Daniele Braga, Alessandro Campi	A Graphical Environment to Query XML Data with XQuery.	WISE	2003	DBLP DOI BibTeX RDF
14	Juanjuan Jiang, Tarja Systä	Exploring Differences in Exchange Formats - Tool Support and Case Studies.	CSMR	2003	DBLP DOI BibTeX RDF
14	Don S. Batory	A Tutorial on Feature Oriented Programming and Product-Lines.	ICSE	2003	DBLP DOI BibTeX RDF
14	Richard Zanibbi, Dorothea Blostein, James R. Cordy	Recognizing Mathematical Expressions Using Tree Transformation.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	recognition of mathematical notation, tree transformation, Document image analysis, graphics recognition, diagram recognition
14	Aguido Horatio Davis, Chengzheng Sun, Junwei Lu	Generalizing operational transformation to the standard general markup language.	CSCW	2002	DBLP DOI BibTeX RDF	groves, synchronous collaborative editing, XML, XML, computer supported cooperative work, HTML, SGML, SGML, SGML, operational transformation
14	Claude Moulin, Sylvain Giroux, Antonio Pintus, Raffaella Sanna	Mobile Lessons Using Geo-Referenced Data in e-Learning.	Intelligent Tutoring Systems	2002	DBLP DOI BibTeX RDF
14	L. Peter Deutsch	Engineering broad-spectrum document software: lessons from ghostscript.	ACM Symposium on Document Engineering	2002	DBLP DOI BibTeX RDF
14	David E. Siegel	A proposal for a namespace facility in APL+WIN.	ACM SIGAPL APL Quote Quad	2001	DBLP DOI BibTeX RDF
14	Vladimir Geroimenko, Larissa Geroimenko	Visual Interaction with XML Metadata.	IV	2001	DBLP DOI BibTeX RDF
14	Leon Moonen	Generating Robust Parsers Using Island Grammars.	WCRE	2001	DBLP DOI BibTeX RDF	Island grammars, source model extraction, fuzzy parsing, reverse engineering, program analysis, parser generation, partial parsing
14	James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider	Software Engineering by Source Transformation-Experience with TXL.	SCAM	2001	DBLP DOI BibTeX RDF
14	Jürgen Lind	Specifying Agent Interaction Protocols with Standard UML.	AOSE	2001	DBLP DOI BibTeX RDF
14	Richard Zanibbi, Dorothea Blostein, James R. Cordy	Baseline Structure Analysis of Handwritten Mathematics Notation.	ICDAR	2001	DBLP DOI BibTeX RDF
14	Sergei M. Abramov, Robert Glück	Combining Semantics with Non-standard Interpreter Hierarchies.	FSTTCS	2000	DBLP DOI BibTeX RDF
14	Pernilla Danielsson, Katarina Heimann Mühlenbock	Small but Efficient: The Misconception of High-Frequency Words in Scandinavian Translation.	AMTA	2000	DBLP DOI BibTeX RDF
14	Dominic Duggan	Modular Type-Based Reverse Engineering of Parameterized Types in Java Code.	OOPSLA	1999	DBLP DOI BibTeX RDF	Java
14	Ahmed M. Abdelatty Ali, Jan Van der Spiegel, Paul Mueller, G. Haentjens, J. Berman	An acoustic-phonetic feature-based system for automatic phoneme recognition in continuous speech.	ISCAS (3)	1999	DBLP DOI BibTeX RDF
14	Stéphane Ducasse, Matthias Rieger, Serge Demeyer	A Language Independent Approach for Detecting Duplicated Code.	ICSM	1999	DBLP DOI BibTeX RDF	code duplication detection, code visualization, Software maintenance
14	Wayne Luk, Steve McKeever	Pebble: A Language for Parametrised and Reconfigurable Hardware Design.	FPL	1998	DBLP DOI BibTeX RDF
14	Michael F. P. O'Boyle	MARS: A Distributed Memory Approach to Shared Memory Compilation.	LCR	1998	DBLP DOI BibTeX RDF
14	Thomas Santen	A Theory of Structured Model-Based Specifications in Isabelle/HOL.	TPHOLs	1997	DBLP DOI BibTeX RDF
14	Horst Friedrich, Reiner Witschurke	The FAPU Workbench.	CSMR	1997	DBLP DOI BibTeX RDF
14	Arne Sølvberg	Data and What They Refer to.	Conceptual Modeling	1997	DBLP DOI BibTeX RDF
14	Rexford H. Swain	Namespaces: APL/W vs. APL2.	APL	1995	DBLP DOI BibTeX RDF	APL, localization, package, namespace
14	Harvey L. Davies	Infinity Arithmetic, Comparisons and J.	APL	1995	DBLP DOI BibTeX RDF	NaN, error-trapping, indeterminate, infinity arithmetic, APL, comparison, precision, arithmetic, tolerance, comparative, J, limits, infinity, IEEE 754 Standard
14	Weidong Chen 0005, Michael Kifer	Sorted HiLog: Sorts in Higher-Order Logic Data Languages.	ICDT	1995	DBLP DOI BibTeX RDF
14	Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever	Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems.	FSTTCS	1995	DBLP DOI BibTeX RDF
14	Peter Gorm Larsen	Evaluation of Underdetermined Explicit Definitions.	FME	1994	DBLP DOI BibTeX RDF
14	Alok N. Choudhary, Geoffrey C. Fox, Seema Hiranandani, Ken Kennedy, Charles Koelbel, Sanjay Ranka, Chau-Wen Tseng	Unified Compilation of Fortran 77D and 90D.	LOPLAS	1993	DBLP DOI BibTeX RDF	parallel programming, FORTRAN, parallel languages, Fortran D
14	David S. Eastwood	Structuring Functions with Operators.	APL	1993	DBLP DOI BibTeX RDF	APL
14	Rizaldo B. Caringal, Phan Minh Dung	A FORTRAN IV to QuickBASIC translator.	ACM SIGPLAN Notices	1992	DBLP DOI BibTeX RDF	QuickBASIC, FORTRAN
14	Johann Mitlöhner	Porting APL-Programs via ASCII-Transliteration.	APL	1992	DBLP DOI BibTeX RDF	APL
14	Peter Gorm Larsen, Poul Bøgh Lassen	An Executable Subset of Meta-IV with Loose Specification.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
14	Donald B. McIntyre	Mastering J.	APL	1991	DBLP DOI BibTeX RDF	APL
14	J. Phillip Benkhard	Extending Structure, Type, and Expression in APL2.	APL	1991	DBLP DOI BibTeX RDF	APL
14	Frank S. de Boer, Catuscia Palamidessi	Embedding as a Tool for Language Comparison: On the CSP Hierarchy.	CONCUR	1991	DBLP DOI BibTeX RDF	concurrent logic languages, embedding, compositional semantics
14	Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine	A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion
14	Satish Thatté	Type Inference and Implicit Scaling.	ESOP	1990	DBLP DOI BibTeX RDF
14	Stephen M. Mansour	Techniques for Avoiding Conditional Execute in APL2.	APL	1989	DBLP DOI BibTeX RDF	APL
14	Christian Neusius	Portable software in modular Pascal.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Pascal
14	Andrew Cheese	Multi-Moded Relations in Parlog.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF	PARLOG, PARLOG
14	John R. Pugh, Wilf R. LaLonde, Dave A. Thomas	Introducing object-oriented programming into the computer science curriculum.	SIGCSE	1987	DBLP DOI BibTeX RDF
14	Jean-Jacques Girardot, Florence Rollin	The syntax of APL, an old approach revisited.	APL	1987	DBLP DOI BibTeX RDF	APL