Search results for "simplifier"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
187	C. Faure	A Meta Simplifier.	ISSAC	1990	DBLP DOI BibTeX RDF
149	Melissa E. O'Neill, F. Warren Burton	Smarter garbage collection with simplifiers.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF	lightweight daemon, simplifier, weak pointer, finalizer
148	Charles G. Nelson, Derek C. Oppen	A Simplifier Based on Efficient Decision Algorithms.	POPL	1978	DBLP DOI BibTeX RDF
79	Sibylle Schupp, Douglas P. Gregor, David R. Musser, Shin-Ming Liu	User-Extensible Simplification - Type-Based Optimizer Generators.	CC	2001	DBLP DOI BibTeX RDF
79	Greg Nelson, Derek C. Oppen	Simplification by Cooperating Decision Procedures.	ACM Trans. Program. Lang. Syst.	1979	DBLP DOI BibTeX RDF
69	Ronen I. Brafman	A simplifier for propositional formulas with many binary clauses.	IEEE Trans. Syst. Man Cybern. Part B	2004	DBLP DOI BibTeX RDF
50	Alberto Coen-Porisini, Flavio De Paoli, Carlo Ghezzi, Dino Mandrioli	Software Specialization Via Symbolic Execution.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	environment-supporting specialization, generalized software components, reengineering technique, transformation tools, symbolic executor/simplifier, loop refolder, conceptual basis, Ada programming language, optimizer, Ada, software maintenance, software reuse, maintenance, software reusability, program compilers, symbolic execution, subroutines, interactive environment
49	Hossein M. Sheini, Karem A. Sakallah	A Progressive Simplifier for Satisfiability Modulo Theories.	SAT	2006	DBLP DOI BibTeX RDF
40	Guy L. Steele Jr.	Building Interpreters by Composing Monads.	POPL	1994	DBLP DOI BibTeX RDF
31	Rakesh M. Verma	A Theory of Using History for Equational Systems with Applications (Extended Abstract)	FOCS	1991	DBLP DOI BibTeX RDF	translation scheme, equational systems, congruence closure based simplifier, consistent convergent systems, priority rewrite systems, normal forms
29	Sanja Stajner, Daniel Ibanez, Horacio Saggion	LeSS: A Computationally-Light Lexical Simplifier for Spanish.	RANLP	2023	DBLP BibTeX RDF
29	Seong-Kyun Mok, Seoyeon Kang, Jeongwoo Kim, Eun-Sun Cho, Seokwoo Choi	SSLEM: A Simplifier for MBA Expressions based on Semi-linear MBA Expressions and Program Synthesis.	CoRR	2022	DBLP DOI BibTeX RDF
29	Daniel F. Litim, Tom Steudtner	ARGES - Advanced Renormalisation Group Equation Simplifier.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
29	Shanka Subhra Mondal, Abhilash Nandy, Ritesh Agrawal, Debashis Sen	KarNet: An Efficient Boolean Function Simplifier.	CoRR	2019	DBLP BibTeX RDF
29	Sol Swords	Hint Orchestration Using ACL2's Simplifier.	ACL2	2018	DBLP DOI BibTeX RDF
29	Kálmán Palágyi	Simplifier Points in 2D Binary Images.	IWCIA	2017	DBLP DOI BibTeX RDF
29	Daniel Ferrés, Montserrat Marimon, Horacio Saggion, Ahmed AbuRa'ed	YATS: Yet Another Text Simplifier.	NLDB	2016	DBLP DOI BibTeX RDF
29	Ján Margeta	Machine Learning for Simplifying the Use of Cardiac Image Databases. (Apprentissage automatique pour simplifier l'utilisation de banques d'images cardiaques).		2015	RDF
29	Lars Hupel	Interactive Simplifier Tracing and Debugging in Isabelle.	CoRR	2014	DBLP BibTeX RDF
29	Lars Hupel	Interactive Simplifier Tracing and Debugging in Isabelle.	CICM	2014	DBLP DOI BibTeX RDF
29	Colby Horn, Cathryn Manduca, David Kauchak	Learning a Lexical Simplifier Using Wikipedia.	ACL (2)	2014	DBLP DOI BibTeX RDF
29	Bernardo Pereira Nunes, Ricardo Kawase, Patrick Siehndel, Marco A. Casanova, Stefan Dietze	As Simple as It Gets - A Sentence Simplifier for Different Learning Levels and Contexts.	ICALT	2013	DBLP DOI BibTeX RDF
29	Norbert Manthey	Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation).	SAT	2012	DBLP DOI BibTeX RDF
29	Thi-Thanh-Ha Hoang	Un modèle multi-agent récursif générique pour simplifier la supervision de systèmes complexes artificiels décentralisés. (A generic recursive multiagent model to simplify supervision of decentralized artificial complex systems).		2012	RDF
29	Nguyen Bach, Qin Gao, Stephan Vogel, Alex Waibel	TriS: A Statistical Sentence Simplifier with Log-linear Models and Margin-based Discriminative Training.	IJCNLP	2011	DBLP BibTeX RDF
29	Thi-Thanh-Ha Hoang, Michel Occello, Jean-Paul Jamont	Un modèle multi-agent générique récursif pour simplifier la supervision de systèmes décentralisés multi-niveaux.	JFSMA	2011	DBLP BibTeX RDF
29	Anbulagan, John K. Slaney	Towards a Generic CNF Simplifier for Minimising Structured Problem Hardness.	ICTAI	2009	DBLP DOI BibTeX RDF
29	Nicolas Roussel 0001	Nouvelles formes de communication et nouvelles interactions homme-machine pour enrichir et simplifier le quotidien. (Simplifying and enhancing daily life with new human-computer interactions and new forms of communication).		2007	RDF
29	Ronen I. Brafman	A Simplifier for Propositional Formulas with Many Binary Clauses.	IJCAI	2001	DBLP BibTeX RDF
29	Louis Galbiati, Carolyn L. Talcott	A Simplifier for Untyped Lambda Expressions.	CTRS	1990	DBLP DOI BibTeX RDF
29	Peter Schorn	A Canonical Simplifier for Trigonometric Expressions in the Kinematic Equation.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
29	Thomas Käufl	The Simplifier of the Program Verifier "Tatzelwurm".	ÖGAI	1985	DBLP DOI BibTeX RDF
29	Lars Hörnfeldt	A Sum-Substitutor Used as Trigonometric Simplifier.	EUROCAM	1982	DBLP DOI BibTeX RDF
20	François Boulier, Daniel Lazard, François Ollivier, Michel Petitot	Computing representations for radicals of finitely generated differential ideals.	Appl. Algebra Eng. Commun. Comput.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 12H05
20	Satish Chandra 0001, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
20	Tomasz Kajdanowicz, Przemyslaw Kazienko	Prediction of Sequential Values for Debt Recovery.	CIARP	2009	DBLP DOI BibTeX RDF	financial pattern recognition, repayment prediction, claim appraisal, competence regions modeling, prediction
20	Bart Wyns, Peter De Bruyne, Luc Boullart	Characterizing Diversity in Genetic Programming.	EuroGP	2006	DBLP DOI BibTeX RDF
20	François Boulier, François Lemaire	Computing canonical representatives of regular differential ideals.	ISSAC	2000	DBLP DOI BibTeX RDF	Rosenfeld-Gröbner, canonical representatives, characteristic presentations, lextriangular, regular differential ideal, differential algebra, characteristic sets
20	Nikolaj S. Bjørner, Mark C. Pichora	Deciding Fixed and Non-fixed Size Bit-vectors.	TACAS	1998	DBLP DOI BibTeX RDF
20	Rakesh M. Verma	A Theory of Using History for Equational Systems with Applications.	J. ACM	1995	DBLP DOI BibTeX RDF	congruence-closure algorithm, rewrite system transformation, term rewrite systems, proof theory, equational logic
20	Sakti P. Ghosh, Chih-Chen Lin, Timos K. Sellis	Implementation of a Prolog-INGRES Interface.	SIGMOD Rec.	1988	DBLP DOI BibTeX RDF	Prolog, INGRES
20	Robert Cartwright	Formal Program Testing.	POPL	1981	DBLP DOI BibTeX RDF
20	Greg Nelson, Derek C. Oppen	Fast Decision Procedures Based on Congruence Closure.	J. ACM	1980	DBLP DOI BibTeX RDF
20	Donald W. Loveland, Robert E. Shostak	Simplifying Interpreted Formulas.	CADE	1980	DBLP DOI BibTeX RDF