Search results for "translation procedure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Luigi Giuri, Pietro Iglio	A Role-Based Secure Database Design Tool.	ACSAC	1996	DBLP DOI BibTeX RDF	role based secure database design tool, database design methodologies, secure database design methodology, entity relationship conceptual data model, role based security model, analysis algorithm, potential security design mistakes, translation procedure, SQL specification, conceptual model, entity-relationship modelling
1	Jens Brandt, Klaus Schneider, Sandeep K. Shukla	Translating concurrent action oriented specifications to synchronous guarded actions.	LCTES	2010	DBLP DOI BibTeX RDF	concurrent action-oriented specifications, code generation, synchronous languages, guarded commands
1	Min Zhou, Fei He, Ming Gu, Xiaoyu Song	Translation-Based Model Checking for PLC Programs.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Alkis Simitsis, Georgia Koutrika, Yannis Alexandrakis, Yannis E. Ioannidis	Synthesizing structured text from logical database subsets.	EDBT	2008	DBLP DOI BibTeX RDF
1	Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig	Automatic generation of systemc models from component-based designs for early design validation and performance analysis.	WOSP	2008	DBLP DOI BibTeX RDF	cola, simulation, code generation, systemc
1	Felipe Sánchez-Martínez, Juan Antonio Pérez-Ortiz, Mikel L. Forcada	Using target-language information to train part-of-speech taggers for machine translation.	Machine Translation	2008	DBLP DOI BibTeX RDF	Rule-based machine translation, Hidden Markov models, Language modeling, Part-of-speech tagging
1	Philipp Cimiano, Michael Erdmann, Günter Ladwig	Corpus-based Pattern Induction for a Knowledge-based Question Answering Approach.	ICSC	2007	DBLP DOI BibTeX RDF
1	Rolf Hennicker, Alexander Knapp	Activity-Driven Synthesis of State Machines.	FASE	2007	DBLP DOI BibTeX RDF
1	Probal Dasgupta	Concrete knowledge, the conversational turn, and translation.	AI Soc.	2007	DBLP DOI BibTeX RDF	Concrete Knowledge, The Conversational Turn, Translation
1	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A New Model Checking Approach for Verifying Agent Communication Protocols.	CCECE	2006	DBLP DOI BibTeX RDF
1	Cláudia Nalon, Clare Dixon	Anti-prenexing and Prenexing for Modal Logics.	JELIA	2006	DBLP DOI BibTeX RDF
1	Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer	A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.	DALT	2005	DBLP DOI BibTeX RDF
1	Nivea de Carvalho Ferreira, Michael Fisher, Wiebe van der Hoek	Logical Implementation of Uncertain Agents.	EPIA	2005	DBLP DOI BibTeX RDF
1	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	Translating affine nested-loop programs to process networks.	CASES	2004	DBLP DOI BibTeX RDF	integer linear programming, process networks, heterogeneous embedded systems
1	Xuandong Li, Jianhua Zhao, Tao Zheng, Yong Li 0005, Guoliang Zheng	Duration-constrained regular expressions.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Regular expressions, Hybrid automata, Duration Calculus
1	Zonghua Gu, Kang G. Shin	An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.	ICDCS	2003	DBLP DOI BibTeX RDF
1	Sebastian Panek, Olaf Stursberg, Sebastian Engell	Optimization of Timed Automata Models Using Mixed-Integer Programming.	FORMATS	2003	DBLP DOI BibTeX RDF
1	Paul Gastin, Denis Oddoux	LTL with Past and Two-Way Very-Weak Alternating Automata.	MFCS	2003	DBLP DOI BibTeX RDF
1	Gunnar Rätsch, Sebastian Mika, Bernhard Schölkopf, Klaus-Robert Müller	Constructing Boosting Algorithms from SVMs: An Application to One-Class Classification.	IEEE Trans. Pattern Anal. Mach. Intell.	2002	DBLP DOI BibTeX RDF	SVMs, unsupervised learning, Boosting, novelty detection, one-class classification
1	Rami Rifaieh, Aïcha-Nabila Benharkat	A Translation Procedure to Clarify the Relationship Between Ontology and XML Schema.	International Conference on Internet Computing	2001	DBLP BibTeX RDF
1	Ismael García-Varea, Alberto Sanchís, Francisco Casacuberta	A New Approach to Speech-Input Statistical Translation.	ICPR	2000	DBLP DOI BibTeX RDF
1	Stephan Merz	Weak Alternating Automata in Isabelle/HOL.	TPHOLs	2000	DBLP DOI BibTeX RDF
1	Francesco Curatelli, Leonardo Mangeruca, Marco Chirico	A Message-Passing Communication Scheme for System Specification.	EUROMICRO	1999	DBLP DOI BibTeX RDF
1	Eugene Asarin, Paul Caspi, Oded Maler	A Kleene Theorem for Timed Automata.	LICS	1997	DBLP DOI BibTeX RDF	Kleene theorem, timed regular expressions, dense-time discrete-valued signals, /spl omega/-regular expressions, timed automata, expressive power, automata theory
1	Claudio Bettini, Xiaoyang Sean Wang, Elisa Bertino, Sushil Jajodia	Semantic Assumptions and Query Evaluation in Temporal Databases.	SIGMOD Conference	1995	DBLP DOI BibTeX RDF	MQL
1	S. C. Leung, Hon Fung Li	A syntax-directed translation for the synthesis of delay-insensitive circuits.	IEEE Trans. VLSI Syst.	1994	DBLP DOI BibTeX RDF
1	Frank Pfenning, Dan Nesmith	Presenting Intuitive Deductions via Symmetric Simplification.	CADE	1990	DBLP DOI BibTeX RDF
1	David Makinson, Peter Gärdenfors	Relations between the logic of theory change and nonmonotonic logic.	The Logic of Theory Change	1989	DBLP DOI BibTeX RDF
1	Stanley Y. W. Su, Herman Lam	A Semi-automatic Data Base Translation System for Achieving Data Sharing in a Network Environment.	SIGMOD Workshop, Vol. 1	1974	DBLP DOI BibTeX RDF	Computer network application, Data base translation, On-line system, Man-machine interaction