Search results for "ALP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
153	Leuo-hong Wang, Ping-yu Wei, Yu-ting Chang	Reducing Evaluation Fatigue in Interactive Evolutionary Algorithms by Using an Incremental Learning Approach.	WSTST	2005	DBLP DOI BibTeX RDF
104	Ruchira Sasanka, Man-Lap Li, Sarita V. Adve, Yen-Kuang Chen, Eric Debes	ALP: Efficient support for all levels of parallelism for complex media applications.	ACM Trans. Archit. Code Optim.	2007	DBLP DOI BibTeX RDF	media applications, multimedia, Parallelism, SIMD, vector, TLP, DLP, data-level parallelism
76	Marek Petrik, Shlomo Zilberstein	Constraint relaxation in approximate linear programs.	ICML	2009	DBLP DOI BibTeX RDF
76	J. J. Garcia-Luna-Aceves, Marcelo Spohn	Scalable Link-State Internet Routing.	ICNP	1998	DBLP DOI BibTeX RDF
57	Dmitri A. Dolgov, Edmund H. Durfee	Symmetric approximate linear programming for factored MDPs with application to constrained problems.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 60J22, 62C99, 90C90
57	Bob Kowalski 0001	Computational Logic in an Object-Oriented World.	Reasoning, Action and Interaction in AI Theories and Systems	2006	DBLP DOI BibTeX RDF	object-orientation, logic programming, Linda
57	Lei Li, Changjia Chen	Anti-loop Probing: Achieving Fast BGP Convergence.	AINA (2)	2006	DBLP DOI BibTeX RDF
57	Gerhard Wetzel, Francesca Toni	Semantic Query Optimization through Abduction and Constraint Handling.	FQAS	1998	DBLP DOI BibTeX RDF
49	Michael Hanus, Mario Rodríguez-Artalejo (eds.)	Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings	ALP	1996	DBLP DOI BibTeX RDF
49	Peter Csaba Ölveczky, Olav Lysne	Order-Sorted Termination: The Unsorted Way.	ALP	1996	DBLP DOI BibTeX RDF	Order-sortedness, Termination
49	Davide Ancona, Elena Zucca	An Algebraic Approach to Mixins and Modularity.	ALP	1996	DBLP DOI BibTeX RDF
49	François Fages, Roberta Gori	A Hierarchy of Semantics for Normal Constraint Logic Programs.	ALP	1996	DBLP DOI BibTeX RDF
49	Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott	Independence in Dynamically Scheduled Logic Languages.	ALP	1996	DBLP DOI BibTeX RDF
49	Ilies Alouini, Claude Kirchner	Toward the Concurrent Implementation of Computational Systems.	ALP	1996	DBLP DOI BibTeX RDF
49	Dieter Nazareth	Specifying Type Systems.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, type inference, qualified types, axiomatic specification
49	Dieter Nazareth	The Semantic Treatment of Polymorphic Specification Languages.	ALP	1996	DBLP DOI BibTeX RDF	polymorphic type system, algebraic semantics, axiomatic specification
49	Paolo Volpe	Abstractions of Uniform Proofs.	ALP	1996	DBLP DOI BibTeX RDF	uniform proofs, inference rule systems, abstract interpretation
49	Luís Caires	A Language for the Logical Specification of Processes and Relations.	ALP	1996	DBLP DOI BibTeX RDF
49	Jesús Manuel Almendros-Jiménez, Antonio Gavilanes-Franco, Ana Gil-Luezas	Algebraic Semantics for Functional Logic Programming with Polymorphic Order-Sorted Types.	ALP	1996	DBLP DOI BibTeX RDF
49	Zurab Khasidashvili, John R. W. Glauert	Discrete Normalization and Standardization in Deterministic Residual Structures.	ALP	1996	DBLP DOI BibTeX RDF
49	Frédéric Benhamou	Heterogeneous Constraint Solving.	ALP	1996	DBLP DOI BibTeX RDF
49	Elena Marchiori	Prime Factorizations of Abstract Domains Using First Order Logic.	ALP	1996	DBLP DOI BibTeX RDF
49	Alessandra Di Pierro, Wlodzimierz Drabent	On Negation As Instantiation.	ALP	1996	DBLP DOI BibTeX RDF
49	Maria C. F. Ferreira, Delia Kesner, Laurence Puel	Lambda-Calculi with Explicit Substitutions and Composition Which Preserve Beta-Strong Normalization.	ALP	1996	DBLP DOI BibTeX RDF
49	Taro Suzuki	Standardization Theorem Revisited.	ALP	1996	DBLP DOI BibTeX RDF
49	Roberto Giacobazzi, Francesco Ranzato	Complementing Logic Program Semantics.	ALP	1996	DBLP DOI BibTeX RDF
49	Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries	Meaningless Terms in Rewriting.	ALP	1996	DBLP DOI BibTeX RDF
49	Ken Mano, Mizuhito Ogawa	Unique Normal Form Property of Higher-Order Rewriting Systems.	ALP	1996	DBLP DOI BibTeX RDF
49	Heinz Faßbender, Sebastian Maneth	A Strict Border for the Decidability of E-Unification for Recursive Functions.	ALP	1996	DBLP DOI BibTeX RDF
49	Lubos Brim, Jean-Marie Jacquet, David R. Gilbert, Mojmír Kretínský	A Process Algebra for Synchronous Concurrent Constraint Programming.	ALP	1996	DBLP DOI BibTeX RDF
49	Massimo Marchiori	Unravelings and Ultra-properties.	ALP	1996	DBLP DOI BibTeX RDF
49	Giorgio Levi, Mario Rodríguez-Artalejo (eds.)	Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings	ALP	1994	DBLP DOI BibTeX RDF
49	María Alpuente, Moreno Falaschi, Germán Vidal	Compositional Analysis for Equational Horn Programs.	ALP	1994	DBLP DOI BibTeX RDF	equational logic programming, compositionality, Semantic analysis, term rewriting systems
49	Paolo Volpe	Concurrent Logic Programming as Uniform Linear Proofs.	ALP	1994	DBLP DOI BibTeX RDF	Uniform Proofs, Phase Semantics, Chemical Abstract Machine, Concurrency, Linear Logic
49	Elena Marchiori	A Logic for Variable Aliasing in Logic Programs.	ALP	1994	DBLP DOI BibTeX RDF
49	Philippe Balbiani	Equation Solving in Projective Planes and Planar Ternary Rings.	ALP	1994	DBLP DOI BibTeX RDF
49	Bernhard Gramlich	On Modularity of Termination and Confluence Properties of Conditional Rewrite Systems.	ALP	1994	DBLP DOI BibTeX RDF
49	Robert Paige	Viewing A program Transformation System At Work.	ALP	1994	DBLP DOI BibTeX RDF
49	Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001	From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.	ALP	1994	DBLP DOI BibTeX RDF
49	Adel Bouhoula	Sufficient Completeness and Parameterized Proofs by Induction.	ALP	1994	DBLP DOI BibTeX RDF	Implicit induction, Parameterized Conditional Specifications, Theorem Proving, Term rewriting systems, Sufficient completeness
49	Neil D. Jones, Mads Rosendahl	Higher-Order Minimal Functional Graphs.	ALP	1994	DBLP DOI BibTeX RDF
49	Massimo Marchiori	Logic Programs as term Rewriting Systems.	ALP	1994	DBLP DOI BibTeX RDF
49	Catuscia Palamidessi	Concurrent Constraint Programming.	ALP	1994	DBLP DOI BibTeX RDF
49	Frank Teusink	Three-Valued Completion for Abductive Logic Programs.	ALP	1994	DBLP DOI BibTeX RDF
49	Maria C. F. Ferreira, Hans Zantema	Syntactical Analysis of Total Termination.	ALP	1994	DBLP DOI BibTeX RDF
49	Andreas Werner 0001, Alexander Bockmayr, Stefan Krischer	How to Realize LSE Narrowing.	ALP	1994	DBLP DOI BibTeX RDF
49	Dale Miller 0001	Specifications Using Multiple-Conclusion Logic Programs.	ALP	1994	DBLP DOI BibTeX RDF
49	Michael Codish, Grigory Mashevitzky	Proving Implications by Algebraic Approximation.	ALP	1994	DBLP DOI BibTeX RDF
49	Sergio Antoy, Aart Middeldorp	A Sequential Reduction Strategy.	ALP	1994	DBLP DOI BibTeX RDF
49	Michel Bidoit, Rolf Hennicker	Proving Behavioural Theorems with Standard First-Order Logic.	ALP	1994	DBLP DOI BibTeX RDF
49	Annalisa Bossi, Nicoletta Cocco	Preserving Universal Termination through Unfold/Fold.	ALP	1994	DBLP DOI BibTeX RDF	universal termination, program transformations
49	Delia Kesner	Reasoning about Layered, Wildcard and Product Patterns.	ALP	1994	DBLP DOI BibTeX RDF
48	Adam Anderson 0005, Shai Gordin, Bin Li 0052, Yudong Liu, Marco Carlo Passarotti (eds.)	Proceedings of the Ancient Language Processing Workshop, ALP@RANLP 2023, Varna, Bulgaria, 8 September, 2023	ALP@RANLP	2023	DBLP BibTeX RDF
48	Bolin Chang, Yiguo Yuan, Bin Li, Zhixing Xu, Minxuan Feng, Dongbo Wang	A Joint Model of Automatic Word Segmentation and Part-Of-Speech Tagging for Ancient Classical Texts Based on Radicals.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Frederick Riemenschneider, Anette Frank	Graecia capta ferum victorem cepit. Detecting Latin Allusions to Ancient Greek Literature.	ALP@RANLP	2023	DBLP BibTeX RDF
48		Frontmatter.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Federica Gamba, Daniel Zeman	Latin Morphology through the Centuries: Ensuring Consistency for Better Language Processing.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Aleksi Sahala, Krister Lindén	A Neural Pipeline for POS-tagging and Lemmatizing Cuneiform Languages.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Yixuan Zhang, Haonan Li 0002	Can Large Langauge Model Comprehend Ancient Chinese? A Preliminary Test on ACLUE.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Gianluca Vico, Gerasimos Spanakis	Larth: Dataset and Machine Translation for Etruscan.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Kai Jin, Dan Zhao, Wuying Liu	Morphological and Semantic Evaluation of Ancient Chinese Machine Translation.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Alek Keersmaekers, Wouter Mercelis, Toon Van Hal	Word Sense Disambiguation for Ancient Greek: Sourcing a training corpus through translation alignment.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Kevin Krahn, Derrick Tate, Andrew C. Lamicela	Sentence Embedding Models for Ancient Greek Using Multilingual Knowledge Distillation.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Ercong Nie, Helmut Schmid, Hinrich Schütze	Cross-Lingual Constituency Parsing for Middle High German: A Delexicalized Approach.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Tariq Yousef, Chiara Palladino, Farnoosh Shamsian	Classical Philology in the Time of AI: Exploring the Potential of Parallel Corpora in Ancient Language.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Dongxin Hu	Coding Design of Oracle Bone Inscriptions Input Method Based on "ZhongHuaZiKu" Database.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Martijn Naaijer, Constantijn Sikkel, Mathias Coeckelbergs, Jisk Attema, Willem Th. Van Peursen	A Transformer-based parser for Syriac morphology.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Colin Swaelens, Ilse De Vos, Els Lefever	Evaluating Existing Lemmatisers on Unedited Byzantine Greek Poetry.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Charlie Cowen-Breen, Creston Brooks, Barbara Graziosi, Johannes Haubold	Logion: Machine-Learning Based Detection and Correction of Textual Errors in Greek Philology.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Congjun Long, Bo An 0002	On the Development of Interlinearized Ancient Literature of Ethnic Minorities: A Case Study of the Interlinearization of Ancient Written Tibetan Literature.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Davide Picca, Caroline Richard	Unveiling Emotional Landscapes in Plautus and Terentius Comedies: A Computational Approach for Qualitative Analysis.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Bo An 0002	Tibetan Dependency Parsing with Graph Convolutional Neural Networks.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Philipp Koch, Gilary Vera Nuñez, Esteban Garces Arias, Christian Heumann, Matthias Schöffel, Alexander Häberlin, Matthias Aßenmacher	A tailored Handwritten-Text-Recognition System for Medieval Latin.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Hansel Guzman-Soto, Yudong Liu	Introducing an Open Source Library for Sumerian Text Analysis.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Silvia Stopponi, Nilo Pedrazzini, Saskia Peels, Barbara McGillivray, Malvina Nissim	Evaluation of Distributional Semantic Models of Ancient Greek: Preliminary Results and a Road Map for Future Work.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Yue Qi, Liu Liu, Bin Li, Dongbo Wang	Vector Based Stylistic Analysis on Ancient Chinese Books: Take the Three Commentaries on the Spring and Autumn Annals as an Example.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Tariq Yousef, Lisa Mischer, Hamid Reza Hakimi, Maxim Romanov	Enhancing State-of-the-Art NLP Models for Classical Arabic.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Ellie Bennett, Aleksi Sahala	Using Word Embeddings for Identifying Emotions Relating to the Body in a Neo-Assyrian Corpus.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Marijke Beersmans, Evelien de Graaf, Tim Van de Cruys, Margherita Fantoli	Training and Evaluation of Named Entity Recognition Models for Classical Latin.	ALP@RANLP	2023	DBLP BibTeX RDF
48	Pierre-Etienne Moreau, Hélène Kirchner	A Compiler for Rewrite Programs in Associative-Commutative Theories.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	AC theories, AC many-to-one matching, compilation, rewrite systems
48	Jan-Georg Smaus, Patricia M. Hill, Andy King	Termination of Logic Programs with block Declarations Running in Several Modes.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	John Hatcliff, Matthew B. Dwyer, Shawn Laubach	Staging Static Analyses Using Abstraction-Based Program Specialization.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Marc Feeley, Martin Larose	Compiling Erlang to Scheme.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	John G. Cleary, Lunjin Lu	Constructive Negation Using Typed Existence Properties.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	existence properties, type system, constructive negation
48	Maurice Bruynooghe, Henk Vandecasteele, D. Andre de Waal, Marc Denecker	Detecting Unsolvable Queries for Definite Logic Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Philippe Refalo	Approaches to the Incremental Detection of Implicit Equalities with the Revised Simplex Method.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Andrew M. Pitts	Operational Versus Denotational Methods in the Semantics of Higher Order Languages.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Andrea Asperti	Optimal Reduction of Functional Expressions.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Takahito Aoto 0001	Solution to the Problem of Zantema on a Persistent Property of Term Rewriting Systems.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Giorgio Levi, Paolo Volpe	Derivation of Proof Methods by Abstract Interpretation.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Silvia Breitinger, Ulrike Klusik, Rita Loogen	From (Sequential) Haskell to (Parallel) Eden: An Implementation Point of View.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	David Wakeling	Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual Machine.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Jesper Eskilson, Mats Carlsson	SICStus MT - A Multithreaded Execution Environment for SICStus Prolog.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	logic programming, implementation, multithreading, machines
48	Farid Ajili, Hendrik C. R. Lock	Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	James Lipton, Robert McGrail	Encapsulating Data in Logic Programming via Categorial Constraints.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Delia Kesner, Pablo E. Martínez López	Explicit Substitutions for Objects and Functions.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Enrico Pontelli, Desh Ranjan, Gopal Gupta 0001	The Complexity of Late-Binding in Dynamic Object-Oriented Languages.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Charles Consel, Renaud Marlet	Architecture Software Using: A Methodology for Language Development.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
48	Sébastien Limet, Frédéric Saubion	A General Framework for R-Unification Problems.	PLILP/ALP	1998	DBLP DOI BibTeX RDF	Rewrite techniques, unification, Tree languages
48	Michael Hanus, Frank Steiner	Controlling Search in Declarative Programs.	PLILP/ALP	1998	DBLP DOI BibTeX RDF