Search results for "CHR"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	Thom W. Frühwirth, Slim Abdennadher	Tutorial: Reasoning with, about and for Constraint Handling Rules.	FroCoS	2002	DBLP DOI BibTeX RDF
126	Armin Wolf, Jacques Robin, Jairson Vitorino	Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
126	Leslie De Koninck, Tom Schrijvers, Bart Demoen	The Correspondence Between the Logical Algorithms Language and CHR.	ICLP	2007	DBLP DOI BibTeX RDF
126	Jon Sneyers	Analysis and Optimization of CHR Programs.	ICLP	2005	DBLP DOI BibTeX RDF
122	Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth	Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.	SAC	2007	DBLP DOI BibTeX RDF	CHR (Constraint Handling Rules), first-order constraints solving, theory of finite or infinite trees, Prolog, unification
111	Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	Semantics
111	Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Meo	On the expressive power of priorities in CHR.	PPDP	2009	DBLP DOI BibTeX RDF	constraint, expressive power
111	Peter Van Weert, Pieter Wuille, Tom Schrijvers, Bart Demoen	CHR for Imperative Host Languages.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
111	Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiara Meo	A compositional semantics for CHR.	PPDP	2005	DBLP DOI BibTeX RDF
103	Marc Meister, Khalil Djelloul, Jacques Robin	A Unified Semantics for Constraint Handling Rules in Transaction Logic.	LPNMR	2007	DBLP DOI BibTeX RDF
96	Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo	Expressiveness of Multiple Heads in CHR.	SOFSEM	2009	DBLP DOI BibTeX RDF
96	Jon Sneyers	Turing-Complete Subclasses of CHR.	ICLP	2008	DBLP DOI BibTeX RDF
96	Peter Van Weert	Optimization of CHR Propagation Rules.	ICLP	2008	DBLP DOI BibTeX RDF
96	Filipe Araújo, Luís E. T. Rodrigues, Jörg Kaiser, Changling Liu, Carlos Mitidieri	CHR: A Distributed Hash Table for Wireless Ad Hoc Networks.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
96	Emmanuel Coquery, François Fages	A Type System for CHR.	CSCLP	2005	DBLP DOI BibTeX RDF
88	Edmund S. L. Lam, Martin Sulzmann	A concurrent constraint handling rules implementation in Haskell with software transactional memory.	DAMP	2007	DBLP DOI BibTeX RDF	parallel implementation of concurrent language
81	Leslie De Koninck, Tom Schrijvers, Bart Demoen	A Flexible Search Framework for CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
81	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard Reasoning in the Refined Operational Semantics of CHR.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
81	Leslie De Koninck, Tom Schrijvers, Bart Demoen	User-definable rule priorities for CHR.	PPDP	2007	DBLP DOI BibTeX RDF	rule priorities, constraint handling rules, execution control
81	Jon Sneyers, Tom Schrijvers, Bart Demoen	Guard and Continuation Optimization for Occurrence Representations of CHR.	ICLP	2005	DBLP DOI BibTeX RDF
81	Emmanuel Coquery, François Fages	A Type System for CHR.	ICLP	2005	DBLP DOI BibTeX RDF
74	Tom Schrijvers, David Scott Warren	Constraint Handling Rules and Tabled Execution.	ICLP	2004	DBLP DOI BibTeX RDF
74	Slim Abdennadher, Thom W. Frühwirth	Integration and Optimization of Rule-Based Constraint Solvers.	LOPSTR	2003	DBLP DOI BibTeX RDF
74	Armin Wolf	Projection in Adaptive Constraint Handling.	New Trends in Constraints	1999	DBLP DOI BibTeX RDF
67	Paolo Pilozzi, Danny De Schreye	Automating Termination Proofs for CHR.	ICLP	2009	DBLP DOI BibTeX RDF
67	Paolo Pilozzi, Danny De Schreye	Termination Analysis of CHR Revisited.	ICLP	2008	DBLP DOI BibTeX RDF	Termination Analysis, Constraint Handling Rules
67	Peter Van Weert	Extension and Implementation of CHR.	ICLP	2007	DBLP DOI BibTeX RDF
67	Jon Sneyers, Tom Schrijvers, Bart Demoen	Memory Reuse for CHR.	ICLP	2006	DBLP DOI BibTeX RDF
67	Marc Meister, Khalil Djelloul, Thom W. Frühwirth	Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.	CSCLP	2006	DBLP DOI BibTeX RDF
59	Jon Sneyers, Tom Schrijvers, Bart Demoen	The computational power and complexity of constraint handling rules.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	constant factors, complexity, Constraint Handling Rules
59	Tom Schrijvers	Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
59	Tom Schrijvers, Martin Sulzmann	Transactions in Constraint Handling Rules.	ICLP	2008	DBLP DOI BibTeX RDF
59	Beata Sarna-Starosta, C. R. Ramakrishnan 0001	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
59	Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann	Observable Confluence for Constraint Handling Rules.	ICLP	2007	DBLP DOI BibTeX RDF
59	Tom Schrijvers	Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary.	ICLP	2005	DBLP DOI BibTeX RDF
59	Emmanuel Coquery, François Fages	TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP.	ICLP	2002	DBLP DOI BibTeX RDF
59	Slim Abdennadher, Heribert Schütz	CHRv: A Flexible Query Language.	FQAS	1998	DBLP DOI BibTeX RDF
59	Slim Abdennadher, Thom W. Frühwirth	On Completion of Constraint Handling Rules.	CP	1998	DBLP DOI BibTeX RDF
52	Paolo Pilozzi	Research Summary: Termination of CHR.	ICLP	2009	DBLP DOI BibTeX RDF
52	Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella	A Compositional Semantics for CHR with Propagation Rules.	Constraint Handling Rules	2008	DBLP DOI BibTeX RDF
52	Frank Raiser	Graph Transformation Systems in CHR.	ICLP	2007	DBLP DOI BibTeX RDF
52	Paolo Tacchella, Maurizio Gabbrielli, Maria Chiara Meo	Unfolding in CHR.	PPDP	2007	DBLP DOI BibTeX RDF	program transformation, unfolding, constraint handling rules
52	Peter Van Weert, Jon Sneyers, Bart Demoen	Aggregates for CHR through Program Transformation.	LOPSTR	2007	DBLP DOI BibTeX RDF
52	Thom W. Frühwirth	Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.	CSCLP	2007	DBLP DOI BibTeX RDF
52	Armin Wolf	Adaptive Constraint Handling with CHR in Java.	CP	2001	DBLP DOI BibTeX RDF
48	Sandrine-Dominique Gouraud, Arnaud Gotlieb	Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine.	PADL	2006	DBLP DOI BibTeX RDF	CHR, Java Card Virtual Machine, Software testing
45	Folgert Karsdorp, Kristoffer L. Nielbo (eds.)	Proceedings of the Computational Humanities Research Conference 2022, CHR 2022, Antwerp, Belgium, December 12-14, 2022.	CHR	2022	DBLP BibTeX RDF
45	Erik Ketzan, Nicolas Werner	'Entrez!' she called: Evaluating Language Identification Tools in English Literary Texts.	CHR	2022	DBLP BibTeX RDF
45	Nicolas Ruth, Andreas Niekler, Manuel Burghardt	Peeking Inside the DH Toolbox - Detection and Classification of Software Tools in DH Publications.	CHR	2022	DBLP BibTeX RDF
45	Andrea Peverelli, Marieke van Erp, Jan Bloemendal	The Process of Imitatio Through Stylometric Analysis: the Case of Terence's Eunuchus.	CHR	2022	DBLP BibTeX RDF
45	Alessandra De Mulder, Lauren Fonteyn, Mike Kestemont	Linguistic Value Construction in 18th-Century London Auction Advertisements: a Quantitative Approach.	CHR	2022	DBLP BibTeX RDF
45	Maciej Eder	Boosting Word Frequencies in Authorship Attribution.	CHR	2022	DBLP BibTeX RDF
45	Andrew Piper, Sunyam Bagga	A Quantitative Study of Fictional Things.	CHR	2022	DBLP BibTeX RDF
45	Artjoms Sela, Mikhail Gronas	Measuring Rhythm Regularity in Verse: Entropy of Inter-Stress Intervals.	CHR	2022	DBLP BibTeX RDF
45	Yuri Bizzoni, Mads Rosendahl Thomsen, Ida Marie Schytt Lassen, Kristoffer L. Nielbo	Correlations between GoodReads Appreciation and the Sentiment Arc Fractality of the Grimm brothers' Fairy Tales.	CHR	2022	DBLP BibTeX RDF
45	Margherita Parigini, Mike Kestemont	The Roots of Doubt. Fine-tuning a BERT Model to Explore a Stylistic Phenomenon.	CHR	2022	DBLP BibTeX RDF
45	Alie Lassche, Jan Kostkan, Kristoffer L. Nielbo	Chronicling Crises: Event Detection in Early Modern Chronicles from the Low Countries.	CHR	2022	DBLP BibTeX RDF
45	Lisa Saleh, Nanne van Noord	The Computational Memorability of Iconic Images.	CHR	2022	DBLP BibTeX RDF
45	Sven Najem-Meyer, Matteo Romanello	Page Layout Analysis of Text-heavy Historical Documents: a Comparison of Textual and Visual Approaches.	CHR	2022	DBLP BibTeX RDF
45	Leonardo Grotti, Mona Allaert, Patrick Quick	Good Omens: A Collaborative Authorship Study.	CHR	2022	DBLP BibTeX RDF
45	Phillip Stenmann Baun, Kristoffer L. Nielbo	Right-wing Mnemonics.	CHR	2022	DBLP BibTeX RDF
45	Folgert Karsdorp, Enrique Manjavacas, Lauren Fonteyn	Introducing Functional Diversity: A Novel Approach to Lexical Diversity in (Historical) Corpora.	CHR	2022	DBLP BibTeX RDF
45	Rebekah Baglini, Sara Møller Østergaard, Stine Nyhus Larsen, Kristoffer L. Nielbo	Emodynamics: Detecting and Characterizing Pandemic Sentiment Change Points on Danish Twitter.	CHR	2022	DBLP BibTeX RDF
45	Taylor B. Arnold, Lauren Tilton, Justin Wigard	Automatic Identification and Classification of Portraits in a Corpus of Historical Photographs.	CHR	2022	DBLP BibTeX RDF
45	Joris J. van Zundert, Marijn Koolen, Julia Neugarten, Peter Boot, Willem Van Hage, Ole Mussmann	What Do We Talk About When We Talk About Topic?	CHR	2022	DBLP BibTeX RDF
45	Leonard Konle, Fotis Jannidis	Modeling Plots of Narrative Texts as Temporal Graphs.	CHR	2022	DBLP BibTeX RDF
45	Hannah Seemann, Tatjana Scheffler	Differentiating Social Media Texts via Clustering.	CHR	2022	DBLP BibTeX RDF
45	Melvin Wevers, Folgert Karsdorp, Jelle van Lottum	What Shall We Do With the Unseen Sailor? Estimating the Size of the Dutch East India Company Using an Unseen Species Model.	CHR	2022	DBLP BibTeX RDF
45	Marijn Koolen, Rik Hoekstra	Detecting Formulaic Language Use in Historical Administrative Corpora.	CHR	2022	DBLP BibTeX RDF
45	Jinbin Zhang, Yann Ciarán Ryan, Iiro Rastas, Filip Ginter, Mikko Tolonen, Rohit Babbar	Detecting Sequential Genre Change in Eighteenth-Century Texts.	CHR	2022	DBLP BibTeX RDF
45	Xiaoyun Gong, Yuxi Lin, Ye Ding, Lauren Klein	Gender and Power in Japanese Light Novels.	CHR	2022	DBLP BibTeX RDF
45	Vincenzo Perri, Lisi Qarkaxhija, Albin Zehe, Andreas Hotho, Ingo Scholtes	One Graph to Rule them All: Using NLP and Graph Neural Networks to analyse Tolkien's Legendarium.	CHR	2022	DBLP BibTeX RDF
45	Lindsey Geybels	Determining Author or Reader: A Statistical Analysis of Textual Features in Children's and Adult Literature.	CHR	2022	DBLP BibTeX RDF
45	Jean-Baptiste Camps, Julien Randon-Furling	Lost Manuscripts and Extinct Texts: A Dynamic Model of Cultural Transmission.	CHR	2022	DBLP BibTeX RDF
45	Thibault Clérice	Ground-truth Free Evaluation of HTR on Old French and Latin Medieval Literary Manuscripts.	CHR	2022	DBLP BibTeX RDF
45	Ida Marie Schytt Lassen, Yuri Bizzoni, Telma Peura, Mads Rosendahl Thomsen, Kristoffer L. Nielbo	Reviewer Preferences and Gender Disparities in Aesthetic Judgments.	CHR	2022	DBLP BibTeX RDF
45	Folgert Karsdorp, Barbara McGillivray, Adina Nerghes, Melvin Wevers (eds.)	Proceedings of the Workshop on Computational Humanities Research (CHR 2020), Amsterdam, The Netherlands, November 18-20, 2020.	CHR	2020	DBLP BibTeX RDF
45	Enrique Manjavacas, Folgert Karsdorp, Mike Kestemont	A Statistical Foray into Contextual Aspects of Intertextuality.	CHR	2020	DBLP BibTeX RDF
45	Mike Kestemont, Folgert Karsdorp	Estimating the Loss of Medieval Literature with an Unseen Species Model from Ecodiversity.	CHR	2020	DBLP BibTeX RDF
45	Bernhard Liebl, Manuel Burghardt	From Historical Newspapers to Machine-Readable Data: The Origami OCR Pipeline.	CHR	2020	DBLP BibTeX RDF
45	Juri Opitz	Automatic Creation of a Large-Scale Tempo-Spatial and Semantic Medieval European Information System.	CHR	2020	DBLP BibTeX RDF
45	Nilo Pedrazzini	Exploiting Cross-Dialectal Gold Syntax for Low-Resource Historical Languages: Towards a Generic Parser for Pre-Modern Slavic.	CHR	2020	DBLP BibTeX RDF
45	Kristoffer L. Nielbo, Peter Bjerregaard Vahlstrup, Anja Bechmann, Jianbo Gao	Trend Reservoir Detection: Minimal Persistence and Resonant Behavior of Trends in Social Media.	CHR	2020	DBLP BibTeX RDF
45	Jonathan Scott Enderle	Toward a Thermodynamics of Meaning.	CHR	2020	DBLP BibTeX RDF
45	Federico Pianzola, Alberto Acerbi, Simone Rebora	Cultural Accumulation and Improvement in Online Fan Fiction.	CHR	2020	DBLP BibTeX RDF
45	Elena Fernández Fernández, Mirco Schönfeld, Jürgen Pfeffer	Measuring the Acceleration of the Social Construction of Time using the BOE (Boletin Oficial del Estado).	CHR	2020	DBLP BibTeX RDF
45	Leo Lahti, Eetu Mäkelä, Mikko Tolonen	Quantifying Bias and Uncertainty in Historical Data Collections with Probabilistic Programming.	CHR	2020	DBLP BibTeX RDF
45	Konstantin Todorov, Giovanni Colavizza	Transfer Learning for Historical Corpora: An Assessment on Post-OCR Correction and Named Entity Recognition.	CHR	2020	DBLP BibTeX RDF
45	Lauren Fonteyn	What about Grammar? Using BERT Embeddings to Explore Functional-Semantic Shifts of Semi-Lexical and Grammatical Constructions.	CHR	2020	DBLP BibTeX RDF
45	Ben Miller, Julie S. Park	Computing Narrative.	CHR	2020	DBLP BibTeX RDF
45	Maximilian Bryan, Manuel Burghardt, Johannes Molz	A Computational Expedition into the Undiscovered Country - Evaluating Neural Networks for the Identification of Hamlet Text Reuse.	CHR	2020	DBLP BibTeX RDF
45	Inna Uglanova, Evelyn Gius	The Order of Things. A Study on Topic Modelling of Literary Texts.	CHR	2020	DBLP BibTeX RDF
45	Joshua Ballance	Pitch-Class Distributions in the Music of Anton Webern.	CHR	2020	DBLP BibTeX RDF
45	Michael Piotrowski, Mateusz Fafinski	Nothing New Under the Sun? Computational Humanities and the Methodology of History.	CHR	2020	DBLP BibTeX RDF
45	Zachary K. Stine, James E. Deitrick, Nitin Agarwal	Comparative Religion, Topic Models, and Conceptualization: Towards the Characterization of Structural Relationships between Online Religious Discourses.	CHR	2020	DBLP BibTeX RDF
45	Aniruddha Sharma, Yuerong Hu, Peizhen Wu, Wenyi Shang, Shubhangi Singhal, Ted Underwood	The Rise and Fall of Genre Differentiation in English-Language Fiction.	CHR	2020	DBLP BibTeX RDF
45	Christopher Akiki, Manuel Burghardt	Toward a Musical Sentiment (MuSe) Dataset for Affective Distant Hearing.	CHR	2020	DBLP BibTeX RDF
45	Leonard Konle, Fotis Jannidis	Domain and Task Adaptive Pretraining for Language Models.	CHR	2020	DBLP BibTeX RDF
45	Thomas Smits, Ruben Ros	Quantifying Iconicity in 940K Online Circulations of 26 Iconic Photographs.	CHR	2020	DBLP BibTeX RDF
45	Stefan Veleski	Weak Negative Correlation between the Present Day Popularity and the Mean Emotional Valence of Late Victorian Novels.	CHR	2020	DBLP BibTeX RDF