Search results for "term representation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Cheryl Dietz, Gerlinde Schreiber	A Term Representation of P/T Systems.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF
2	Paul Tarau, Ulrich Neumerkel	A Novel Term Compression Scheme and Data Representation in the BinWAM.	PLILP	1994	DBLP DOI BibTeX RDF	implementation of Prolog, term representation, last argument overlapping, continuation passing style, WAM
1	Andreas Abel, Nicolai Kraus	A Lambda Term Representation Inspired by Linear Ordered Logic	LFMTP	2011	DBLP DOI BibTeX RDF
1	Nichnan Kittiphattanabawon, Thanaruk Theeramunkong, Ekawit Nantajeewarawat	Exploration of Document Relation Quality with Consideration of Term Representation Basis, Term Weighting and Association Measure.	PAISI	2010	DBLP DOI BibTeX RDF
1	Stefan Hetzl	A Sequent Calculus with Implicit Term Representation.	CSL	2010	DBLP DOI BibTeX RDF
1	Beata Sarna-Starosta, Tom Schrijvers	Attributed Data for CHR Indexing.	ICLP	2009	DBLP DOI BibTeX RDF	term representation, attributed variables, indexing, program transformation, Constraint Handling Rules
1	Nichnan Kittiphattanabawon, Thanaruk Theeramunkong	Relation Discovery from Thai News Articles Using Association Rule Mining.	PAISI	2009	DBLP DOI BibTeX RDF	Document Relation, Thai News Document, Text Mining, Association Rule Mining
1	Makoto Hamana	Initial Algebra Semantics for Cyclic Sharing Structures.	TLCA	2009	DBLP DOI BibTeX RDF
1	Sudipto Guha, Boulos Harb	Approximation Algorithms for Wavelet Transform Coding of Data Streams.	IEEE Transactions on Information Theory	2008	DBLP DOI BibTeX RDF
1	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Efficient representation of the attacker's knowledge in cryptographic protocols analysis.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Knowledge representation, Cryptographic protocols, State space exploration
1	Tao Liu, Xiaolong Wang, Bingquan Liu, Yuanchao Liu, Minghui Li	Extracting domain-specific terms from unlabeled web documents by bootstrapping and term classifiers.	SMC	2007	DBLP DOI BibTeX RDF
1	Richard A. Smith	Background Use of Sensitive Information to Aid in Analysis of Non-sensitive Data on Threats and Vulnerabilities.	ISI	2005	DBLP DOI BibTeX RDF
1	Alberto Lavelli, Fabrizio Sebastiani, Roberto Zanoli	An Experimental Comparison of Term Representation for Term Management Applications.	SEBD	2004	DBLP BibTeX RDF
1	Alberto Lavelli, Fabrizio Sebastiani, Roberto Zanoli	Distributional term representations: an experimental comparison.	CIKM	2004	DBLP DOI BibTeX RDF	term classification, term representation, term clustering
1	Yueyu Fu, Javed Mostafa	Toward information retrieval web services for digital libraries.	JCDL	2004	DBLP DOI BibTeX RDF	web services, information retrieval
1	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	Exploiting Symmetries for Testing Equivalence in the Spi Calculus.	ATVA	2004	DBLP DOI BibTeX RDF
1	Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo	Shrinking Reductions in SML.NET.	IFL	2004	DBLP DOI BibTeX RDF
1	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey	Herbrand Constraints in HAL.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
1	Abbas Edalat, Dirk Pattinson	A Domain Theoretic Account of Euler's Method for Solving Initial Value Problems.	PARA	2004	DBLP DOI BibTeX RDF
1	Anna C. Gilbert, S. Muthukrishnan, Martin Strauss	Approximation of functions over redundant dictionaries using coherence.	SODA	2003	DBLP DOI BibTeX RDF
1	Hezi Avraham, Gal Chechik, Eytan Ruppin	Are There Representations in Embodied Evolved Agents? Taking Measures.	ECAL	2003	DBLP DOI BibTeX RDF
1	Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano	A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.	TACAS	2003	DBLP DOI BibTeX RDF
1	Kazunori Ueda	A Pure Meta-interpreter for Flat GHC, a Concurrent Constraint Language.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
1	Bart Demoen, Phuong-Lan Nguyen	So Many WAM Variations, So Little Time.	Computational Logic	2000	DBLP DOI BibTeX RDF
1	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine	Program Representation Size in an Intermediate Language with Intersection and Union Types.	Types in Compilation	2000	DBLP DOI BibTeX RDF
1	Xining Li	A New Term Representation Method for Prolog.	J. Log. Program.	1998	DBLP DOI BibTeX RDF
1	LJubisa Stankovic	Auto-term representation by the reduced interference distributions: a procedure for kernel design.	IEEE Transactions on Signal Processing	1996	DBLP DOI BibTeX RDF
1	Xining Li	Program Sharing: A New Implementation Approach for Prolog.	PLILP	1996	DBLP DOI BibTeX RDF
1	Twan Basten, Marc Voorhoeve	An Algebraic Semantics for Hierarchical P/T Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	Place/Transition nets, hierarchical Petri nets, verification, abstraction, process algebra, top-down design
1	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
1	Balkrishna Ramkumar, Laxmikant V. Kalé	Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	binding environment, nonshared memory multiprocessors, Chare Kernel, parallel programming, compiler, logic programming, logic programs, multiprocessing systems, shared memory multiprocessors, parallel execution
1	Masahiko Tsukamoto, Shojiro Nishio, Mitsuhiko Fujio	DOT: A Term Reprentation using DOT Algebra for Knowledge-bases.	DOOD	1991	DBLP DOI BibTeX RDF
1	Egon Börger, Dean Rosenzweig	WAM Algebras - A Mathematical Study of Implementation, Part 2.	RCLP	1991	DBLP DOI BibTeX RDF
1	Heikki Mannila, Esko Ukkonen	Timestamped Term Representation for Implementing Prolog.	SLP	1986	DBLP BibTeX RDF