Search results for "Realizer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
99	Vijay K. Garg, Chakarat Skawratananond	String realizers of posets with applications to distributed computing.	PODC	2001	DBLP DOI BibTeX RDF
69	Kazuyuki Miura, Machiko Azuma, Takao Nishizeki	Canonical Decomposition, Realizer, Schnyder Labeling and Orderly Spanning Trees of Plane Graphs.	COCOON	2004	DBLP DOI BibTeX RDF
49	Ching-Chi Lin, Hsueh-I Lu, I-Fan Sun	Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer.	STACS	2003	DBLP DOI BibTeX RDF
40	Philipp Gerhardy, Ulrich Kohlenbach	Extracting Herbrand disjunctions by functional interpretation.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	Herbrand’s theorem, functional interpretation
40	Nicolas Bonichon, Bertrand Le Saëc, Mohamed Mosbah 0001	Wagner's Theorem on Realizers.	ICALP	2002	DBLP DOI BibTeX RDF
40	Joseph Varghese, Michael Butts, Jon Batcheller	An efficient logic emulation system.	IEEE Trans. Very Large Scale Integr. Syst.	1993	DBLP DOI BibTeX RDF
33	Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, Dominique Poulalhon, Gilles Schaeffer	Planar Graphs, via Well-Orderly Maps and Trees.	Graphs Comb.	2006	DBLP DOI BibTeX RDF	Well-orderly, Triangulation, Planar graph, Realizer
33	Klaus Harbich, Jörn Stohmann, Erich Barke, Ludwig Schwoerer	A Case Study: Logic Emulation - Pitfalls and Solutions.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	Evaluation Mentor Graphics Corporation, SimExpress, Quickturn Design Systems, Inc., System Realizer, Rapid Prototyping, Logic Emulation
29	George Kousiouris, Dimosthenis Kyriazis	Functionalities, Challenges and Enablers for a Generalized FaaS based Architecture as the Realizer of Cloud/Edge Continuum Interplay.	CLOSER	2021	DBLP DOI BibTeX RDF
29	Guy Lapalme	The jsRealB Text Realizer: Organization and Use Cases.	CoRR	2020	DBLP BibTeX RDF
29	Kartikeya Upasani, David King, Jinfeng Rao, Anusha Balakrishnan, Michael White 0001	The OSU/Facebook Realizer for SRST 2019: Seq2Seq Inflection and Serialized Tree2Tree Linearization.	MSR@EMNLP-IJCNLP	2019	DBLP DOI BibTeX RDF
29	Alessandro Mazzei, Valerio Basile	The DipInfoUniTo Realizer at SRST'19: Learning to Rank and Deep Morphology Prediction for Multilingual Surface Realization.	MSR@EMNLP-IJCNLP	2019	DBLP DOI BibTeX RDF
29	Farhood Farahnak, Laya Rafiee, Leila Kosseim, Thomas Fevens	The Concordia NLG Surface Realizer at SRST 2019.	MSR@EMNLP-IJCNLP	2019	DBLP DOI BibTeX RDF
29	François Lareau, Florie Lambrey, Ieva Dubinskaite, Daniel Galarreta-Piquette, Maryam Nejat	GenDR: A Generic Deep Realizer with Complex Lexicalization.	LREC	2018	DBLP BibTeX RDF
29	Jan Kolkmeier, Merijn Bruijnes, Dennis Reidsma, Dirk Heylen	An ASAP Realizer-Unity3D Bridge for Virtual and Mixed Reality Applications.	IVA	2017	DBLP DOI BibTeX RDF
29	Jan Kolkmeier, Merijn Bruijnes, Dennis Reidsma	A Demonstration of the ASAP Realizer-Unity3D Bridge for Virtual and Mixed Reality Applications.	IVA	2017	DBLP DOI BibTeX RDF
29	Paul Molins, Guy Lapalme	JSrealB: A Bilingual Text Realizer for Web Programming.	ENLG	2015	DBLP DOI BibTeX RDF
29	Dennis Reidsma, Herwin van Welbergen	AsapRealizer in practice - A modular and extensible architecture for a BML Realizer.	Entertain. Comput.	2013	DBLP DOI BibTeX RDF
29	Herwin van Welbergen, Dennis Reidsma, Stefan Kopp	An Incremental Multimodal Realizer for Behavior Co-Articulation and Coordination.	IVA	2012	DBLP DOI BibTeX RDF
29	Stanislav Ondás, Jozef Juhár	Design and development of the Slovak multimodal dialogue system with the BML Realizer Elckerlyc.	CogInfoCom	2012	DBLP DOI BibTeX RDF
29	Dennis Reidsma, Herwin van Welbergen	Elckerlyc in Practice - On the Integration of a BML Realizer in Real Applications.	INTETAIN	2011	DBLP DOI BibTeX RDF
29	Ethel Ong 0001, Stephanie Abella, Lawrence Santos, Dennis Tiu	A Simple Surface Realizer for Filipino.	PACLIC	2011	DBLP BibTeX RDF
29	Bernd Bohnet, Leo Wanner, Simon Mille, Alicia Burga	Broad Coverage Multilingual Deep Sentence Generation with a Stochastic Multi-Level Realizer.	COLING	2010	DBLP BibTeX RDF
29	Eva Banik	Extending a Surface Realizer to Generate Coherent Discourse.	ACL/IJCNLP (2)	2009	DBLP BibTeX RDF
29	Kazuyuki Miura, Machiko Azuma, Takao Nishizeki	Canonical Decomposition, Realizer, Schnyder Labeling And Orderly Spanning Trees Of Plane Graphs.	Int. J. Found. Comput. Sci.	2005	DBLP DOI BibTeX RDF
29	Charles Callaway	The Types and Distributions of Errors in a Wide Coverage Surface Realizer Evaluation.	ENLG	2005	DBLP BibTeX RDF
29	Jeffrey Russell	A Domain-Specific Statistical Surface Realizer.	ACL	2005	DBLP BibTeX RDF
29	Ching-Chi Lin, Hsueh-I Lu, I-Fan Sun	Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer.	SIAM J. Discret. Math.	2004	DBLP DOI BibTeX RDF
29	Alessandra Novello, Charles B. Callaway	Porting to an Italian Surface Realizer: A Case Study.	ENLG@EACL	2003	DBLP BibTeX RDF
29	Ching-Chi Lin, Hsueh-I Lu, I-Fan Sun	Improved Compact Visibility Representation of Planar Graph via Schnyder's Realizer	CoRR	2002	DBLP BibTeX RDF
29	Enrico Nardelli, Vincenzo Mastrobuoni, Alesiano Santomo	Computing a Poset from its Realizer.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
29	Benoit Lavoie, Owen Rainbow	A Fast and Portable Realizer for Text Generation Systems.	ANLP	1997	DBLP BibTeX RDF
20	Sergey Kitaev, Steve Seif	Word Problem of the Perkins Semigroup via Directed Acyclic Graphs.	Order	2008	DBLP DOI BibTeX RDF	Perkins semigroup, Free semigroup, Computational complexity -, Directed acyclic graph, Poset, Partially order set, Word problem
20	Raghavan Dhandapani	Greedy drawings of triangulations.	SODA	2008	DBLP BibTeX RDF
20	Katsuhisa Yamanaka, Shin-Ichi Nakano	A Compact Encoding of Plane Triangulations with Efficient Query Supports.	WALCOM	2008	DBLP DOI BibTeX RDF
20	Stefano Berardi, Ugo de'Liguoro	A Calculus of Realizers for EM1 Arithmetic (Extended Abstract).	CSL	2008	DBLP DOI BibTeX RDF
20	Christoph Ambühl, Monaldo Mastrolilli, Ola Svensson	Approximating Precedence-Constrained Single Machine Scheduling by Coloring.	APPROX-RANDOM	2006	DBLP DOI BibTeX RDF
20	Huaming Zhang, Xin He	Canonical Ordering Trees and Their Applications in Graph Drawing.	Discret. Comput. Geom.	2005	DBLP DOI BibTeX RDF
20	Ross M. McConnell, Fabien de Montgolfier	Algebraic Operations on PQ Trees and Modular Decomposition Trees.	WG	2005	DBLP DOI BibTeX RDF
20	Dominique Poulalhon, Gilles Schaeffer	Optimal Coding and Sampling of Triangulations.	ICALP	2003	DBLP DOI BibTeX RDF
20	Huaming Zhang, Xin He	Compact Visibility Representation and Straight-Line Grid Embedding of Plane Graphs.	WADS	2003	DBLP DOI BibTeX RDF
20	Makoto Tatsuta	Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis.	MPC	1998	DBLP DOI BibTeX RDF
20	Michelle X. Zhou, Steven Feiner	IMPROVISE: Automated Generation of Animated Graphics for Coordinated Multimedia Presentations.	Cooperative Multimodal Communication	1998	DBLP DOI BibTeX RDF
20	Wai-Kei Mak, Martin D. F. Wong	On optimal board-level routing for FPGA-based logic emulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
20	Wai-Kei Mak, D. F. Wong 0001	Board-level multiterminal net routing for FPGA-based logic emulation.	ACM Trans. Design Autom. Electr. Syst.	1997	DBLP DOI BibTeX RDF	board-level routing, multi-terminal net decomposition, field programmable gate arrays, crossbars, logic emulation
20	Wai-Kei Mak, D. F. Wong 0001	Board-level multi-terminal net routing for FPGA-based logic emulation.	ICCAD	1995	DBLP DOI BibTeX RDF	board-level routing, bounded-degree hypergraph-to-graph transformation, logic emulation systems, multi-terminal net decomposition net, FPGA