Search results for "CLP"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
111	Sorin Craciunescu	Proving the Equivalence of CLP Programs.	ICLP	2002	DBLP DOI BibTeX RDF	CLP(forall), logic programming, constraint, induction, proof system, reactive program, coinduction, CLP, Program equivalence
91	Joxan Jaffar	Constraint Logic Programming for program analysis.	ACSC	2008	DBLP BibTeX RDF
86	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	Test Data Generation of Bytecode by CLP Partial Evaluation.	LOPSTR	2008	DBLP DOI BibTeX RDF
86	Gourinath Banda, John P. Gallagher	Analysis of Linear Hybrid Systems in CLP.	LOPSTR	2008	DBLP DOI BibTeX RDF
80	Soundararajan Chandramathi, Subbaiah Shanmugavel	A Novel Fuzzy Approach to Estimate Cell Loss Probability for Self Similar Traffic in ATM Networks.	ISCC	2001	DBLP DOI BibTeX RDF	Cell loss probability (CLP), fuzzy approach, ATM networks, call admission control (CAC), self similar traffic
80	Pang-Chieh Wang, Ting-Wei Hou, Ruei-Hong Yan	Maintaining Coverage by Progressive Crystal-Lattice Permutation in Mobile Wireless Sensor Networks.	ICSNC	2006	DBLP DOI BibTeX RDF
80	Youssef Saab	An improved linear placement algorithm using node compaction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
80	Pierre Lim, Peter J. Stuckey	A Constraint Logic Programming Shell.	PLILP	1990	DBLP DOI BibTeX RDF
75	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Dealing with incomplete knowledge on CLP(FD) variable domains.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	domain acquisition, interaction, Constraints, streams, sets, lazy evaluation
75	Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano	Exploiting Constraints for Domain Managing in CLP(FD).	FroCoS	2002	DBLP DOI BibTeX RDF
75	Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap	Optimizing Compilation of CLP(R).	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	source-to-source program transformation, compilation, program analysis, constraint logic programming, program optimization
75	Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo	Towards Independent And-Parallelism in CLP.	PLILP	1996	DBLP DOI BibTeX RDF
75	Pascal Van Hentenryck, Viswanath Ramachandran	Backtracking without Trailing in CLP(RLin). (long version: TOPLAS 17(4): 349-360 (1995))	PLDI	1994	DBLP DOI BibTeX RDF
69	Yi Tao 0001, William I. Grosky, Chunnian Liu	An Automatic Partial Deduction System for Constraint Logic Programs.	ICTAI	1997	DBLP DOI BibTeX RDF	partial deduction(partial evaluation), CLP(Bool), CLP(R), Prolog, constraint logic programming
68	Timothy J. Hickey	Analytic Constraint Solving and Interval Arithmetic.	POPL	2000	DBLP DOI BibTeX RDF
68	Stefan Riezler	Quantitative Constraint Logic Programming for Weighted Grammar Applications.	LACL	1996	DBLP DOI BibTeX RDF
63	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	Modeling Systems in CLP.	ICLP	2005	DBLP DOI BibTeX RDF
63	Cormac Flanagan	Automatic Software Model Checking Using CLP.	ESOP	2003	DBLP DOI BibTeX RDF
63	Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi	Integrating finite domain constraints and CLP with sets.	PPDP	2003	DBLP DOI BibTeX RDF	programming with sets, constraint logic programming
63	Pallab Dasgupta, P. P. Chakrabarti 0001, Arnab Dey, Sujoy Ghose, Wolfgang Bibel	Solving Constraint Optimization Problems from CLP-Style Specifications Using Heuristic Search Techniques.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	logic programming, heuristic search, constraint optimization
63	Giorgio Delzanno, Andreas Podelski	Model Checking in CLP.	TACAS	1999	DBLP DOI BibTeX RDF
58	Jesús Manuel Almendros-Jiménez	Constraint logic programming over sets of spatial objects.	WCFLP	2005	DBLP DOI BibTeX RDF	logic programming, CLP
57	Gopal Gupta 0001, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems.	RTSS	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
57	Ratree Juntanasub, Nidapan Sureerattanan	Car License Plate Recognition through Hausdorff Distance Technique.	ICTAI	2005	DBLP DOI BibTeX RDF
57	Erlendur S. Thorsteinsson, Greger Ottosson	Linear Relaxations and Reduced-Cost Based Propagation of Continuous Variable Subscripts.	Ann. Oper. Res.	2002	DBLP DOI BibTeX RDF	dynamic linear relaxations, reduced costs, variable subscripts, mixed global constraints, integration, inference, Mixed Integer Programming, Constraint Logic Programming, propagation
57	Mark Wallace 0001	Constraint Logic Programming.	Computational Logic: Logic Programming and Beyond	2002	DBLP DOI BibTeX RDF
57	Giorgio Delzanno, Andreas Podelski	Constraint-based deductive model checking.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Model checking, Verification, Logic programming, Constraints
57	Bin Qiu, Xiaoxiang Guan	A Predictive Connection Admission Control Scheme for QoS Improvement.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
57	Salvatore Ruggieri	Termination of Constraint Logic Programs.	ICALP	1997	DBLP DOI BibTeX RDF
57	Pierre Lim, David N. Morley	Implementing a Meta-Logical Scheme.	PLILP	1990	DBLP DOI BibTeX RDF
52	Vítor Santos Costa, David Page, James Cussens	CLP(BN): Constraint Logic Programming for Probabilistic Knowledge.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
52	Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau	Applying CLP to Predict Extra-Functional Properties of Component-Based Models.	ICLP	2004	DBLP DOI BibTeX RDF
52	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Proof Method for Timed Automata.	RTSS	2004	DBLP DOI BibTeX RDF
52	Alexander Serebrenik, Frédéric Mesnard	On Termination of Binary CLP Programs.	LOPSTR	2004	DBLP DOI BibTeX RDF
52	Nicos Angelopoulos	clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming.	CP	2003	DBLP DOI BibTeX RDF
52	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Efficient Structural Information Analysis for Real CLP Languages.	LPAR	2000	DBLP DOI BibTeX RDF
52	Enrico Pontelli	Concurrent Web-Programming in CLP(WEB).	HICSS	2000	DBLP DOI BibTeX RDF
52	Abdessatar Abderrahman, Eduard Cerny, Bozena Kaminska	CLP-based Multifrequency Test Generation for Analog Circuits.	VTS	1997	DBLP DOI BibTeX RDF
52	François Fages	On the Semantics of Optimization Predicates in CLP Languages.	FSTTCS	1993	DBLP DOI BibTeX RDF
46	Elvira Albert, Miguel Gómez-Zamalloa, Germán Puebla	PET: a partial evaluation-based test case generation tool for Java bytecode.	PEPM	2010	DBLP DOI BibTeX RDF	testing, partial evaluation, symbolic execution, constraint logic programming, test-case generation
46	Jin Song Dong, Ping Hao, Jun Sun 0001, Xian Zhang 0007	A Reasoning Method for Timed CSP Based on Constraint Solving.	ICFEM	2006	DBLP DOI BibTeX RDF
46	Thomas H. Kolbe, Lutz Plümer, Armin B. Cremers	Identifying Buildings in Aerial Images Using Constraint Relaxation and Variable Elimination.	IEEE Intell. Syst.	2000	DBLP DOI BibTeX RDF	building extraction, variable elimination, object recognition, constraint logic programming, geometric constraints, constraint relaxation, inexact graph matching
46	Agostino Dovier, Carla Piazza, Enrico Pontelli, Gianfranco Rossi	Sets and constraint logic programming.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	computable set theory, constraints, declarative programming
46	Mario Rodríguez-Artalejo	Functional and Constraint Logic Programming.	CCL	1999	DBLP BibTeX RDF
46	François Fages, Julian Fowler, Thierry Sola	Handling Preferences in Constraint Logic Programming with Relational Optimization.	PLILP	1994	DBLP DOI BibTeX RDF	hierarchical constraint logic programming, optimization, preference, constraint logic programming
46	Enrico Maim	Recognizing Objects from Constraints.	SEKE	1992	DBLP DOI BibTeX RDF
46	Juhani Jaakola	Modifying the Simplex Algorithm to a Constraint Solver.	PLILP	1990	DBLP DOI BibTeX RDF
46	Danny De Schreye, Dirk Pollet, Johan Ronsyn, Maurice Bruynooghe	Implementing Finite-domain Constraint Logic Programming on Top of a Prolog-System with Delay-mechanism.	ESOP	1990	DBLP DOI BibTeX RDF
46	Joxan Jaffar, Jean-Louis Lassez	Constraint Logic Programming.	POPL	1987	DBLP DOI BibTeX RDF	Prolog
41	Panagiotis Stamatopoulos, Dimitris Margaritis, Constantin Halatsis	Extending a parallel CLP language to support the development of multi-agent systems.	SAC	1994	DBLP DOI BibTeX RDF	parallel CLP, multi-agent systems, distributed execution
41	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	An Interpolation Method for CLP Traversal.	CP	2009	DBLP DOI BibTeX RDF
41	Salvatore Ruggieri, Frédéric Mesnard	Typing Linear Constraints for Moding CLP() Programs.	SAS	2008	DBLP DOI BibTeX RDF	well-moding, constraint logic programming, definiteness, polyhedra, linear constraints
41	Besnik Seljimi, Ioannis Parissis	Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs.	ISSRE	2006	DBLP DOI BibTeX RDF
41	Joxan Jaffar, Andrew E. Santosa, Razvan Voicu	A CLP Method for Compositional and Intermittent Predicate Abstraction.	VMCAI	2006	DBLP DOI BibTeX RDF
41	Alexandre S. Saidi	Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process.	ICLP	2005	DBLP DOI BibTeX RDF
41	Agostino Dovier, Andrea Formisano 0001, Enrico Pontelli	A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems.	ICLP	2005	DBLP DOI BibTeX RDF
41	Jorge Coelho 0001, Mário Florido	CLP(Flex): Constraint Logic Programming Applied to XML Processing.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF
41	Ole Boysen	Extending CLP with Metaheuristics.	CP	2003	DBLP DOI BibTeX RDF
41	Ana Paula Tomás	Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD).	MICAI	2002	DBLP DOI BibTeX RDF
41	Martin T. Swain, Graham J. L. Kemp	A CLP Approach to the Protein Side-Chain Placement Problem.	CP	2001	DBLP DOI BibTeX RDF
41	Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott	Independence in CLP languages.	ACM Trans. Program. Lang. Syst.	2000	DBLP DOI BibTeX RDF	parallelism, constraint logic programming, independence
41	Abdessatar Abderrahman, Eduard Cerny, Bozena Kaminska	Worst case tolerance analysis and CLP-based multifrequency test generation for analog circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
41	Andreas Fordan, Roland H. C. Yap	Early Projection in CLP(R).	CP	1998	DBLP DOI BibTeX RDF
41	Yan Georget, Philippe Codognet	Compiling Semiring-Based Constraints with clp (FD, S).	CP	1998	DBLP DOI BibTeX RDF
41	Hamza Zidoum, Pierre Flener, Brahim Hnich	Schema-Guided Synthesis of CLP Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF
41	Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori	A Transformation System for CLP with Dynamic Scheduling and CCP.	PEPM	1997	DBLP DOI BibTeX RDF	concurrent constraint logic programming, transformation, deadlock, coroutining
41	Franc Novak, Igor Mozetic, Marina Santo Zarnik, Anton Biasizzo	Enhancing design-for-test for active analog filters by using CLP.	J. Electron. Test.	1993	DBLP DOI BibTeX RDF
41	André Véron, Kees Schuerman, Mike Reeve, Liang-Liang Li	Why and How in the ElipSys OR-parallel CLP System.	PARLE	1993	DBLP DOI BibTeX RDF
41	Michael J. Maher	A CLP View of Logic Programming.	ALP	1992	DBLP DOI BibTeX RDF
41	Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap	An Abstract Machine for CLP(R).	PLDI	1992	DBLP DOI BibTeX RDF	Prolog
41	Elisa Bertino, Maurizio Martelli, Danilo Montesi	CLP(AD) as a Deductive Database Language with Updates.	ELP	1992	DBLP DOI BibTeX RDF
41	Timothy J. Hickey	CLP* and Constraint Abstraction.	POPL	1989	DBLP DOI BibTeX RDF	Prolog
41	Richard W. Conway, J. J. Delfausse, William L. Maxwell, W. E. Walker	CLP-the Cornell list processor.	Commun. ACM	1965	DBLP DOI BibTeX RDF
36	Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales 0001	The Ciao clp(FD) Library. A Modular CLP Extension for Prolog	CoRR	2013	DBLP BibTeX RDF
36	Juris Steprans	Products of sequential CLP-compact spaces are CLP-compact.	Ann. Pure Appl. Log.	2006	DBLP DOI BibTeX RDF
36	Daniel Diaz	Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD). (Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system).		1995	RDF
36	Peter Barth	CLP(PB), A Meta-Interpreter in CLP(R).	PLILP	1992	DBLP DOI BibTeX RDF
36	Bruno De Backer, Henri Beringer	Intelligent Backtracking for CLP Languages: An Application to CLP(R).	ISLP	1991	DBLP BibTeX RDF
36	Francisco Azevedo	Maxx: Test Pattern Optimisation with Local Search Over an Extended Logic.	Constraints An Int. J.	2007	DBLP DOI BibTeX RDF	PI, Primary input, TG, Test generation, Constraint logic programming, CLP
36	Mark Wallace 0001, Joachim Schimpf, Kish Shen, Warwick Harvey	On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains".	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	solver performance, Benchmarking, ECLiPSe, Unit Testing, constraint logic programming, Finite Domain, CLP
36	Fabrice Bouquet, Bruno Legeard, Fabien Peureux	CLPS-B - A Constraint Solver for B.	TACAS	2002	DBLP DOI BibTeX RDF	Evaluation of specifications, Animation, CSP, B Method, Set constraints, CLP
34	Victor Milenkovic, Elisha Sacks, Min-Ho Kyung	Robust Minkowski sums of polyhedra via controlled linear perturbation.	Symposium on Solid and Physical Modeling	2010	DBLP DOI BibTeX RDF	perturbation methods, robust computational geometry
34	Marco Gavanelli, Marco Alberti 0001, Evelina Lamma	Integration of Abductive Reasoning and Constraint Optimization in SCIFF.	ICLP	2009	DBLP DOI BibTeX RDF
34	Jinwei Hu, Ruixuan Li 0001, Zhengding Lu	RBAC-Based Secure Interoperation Using Constraint Logic Programming.	CSE (2)	2009	DBLP DOI BibTeX RDF
34	Pawel Sitek, Jaroslaw Wikarek	A Declarative Framework for Constrained Search Problems.	IEA/AIE	2008	DBLP DOI BibTeX RDF	Scheduling, DSS, Constraint Logic Programming
34	Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace 0001	Adding Constraint Solving to Mercury.	PADL	2006	DBLP DOI BibTeX RDF
34	Hugues Malgouyres, Gilles Motet	A UML model consistency verification approach based on meta-modeling formalization.	SAC	2006	DBLP DOI BibTeX RDF	UML verification, consistency rules, meta-modeling, constraint logic programming
34	Andreas K. Maier, Christian Hacker, Elmar Nöth, Emeka Nkenke, Tino Haderlein, Frank Rosanowski, Maria Schuster	Intelligibility of Children with Cleft Lip and Palate: Evaluation by Speech Recognition Techniques.	ICPR (4)	2006	DBLP DOI BibTeX RDF
34	Feng Kang, Rong Jin 0001, Rahul Sukthankar	Correlated Label Propagation with Application to Multi-label Learning.	CVPR (2)	2006	DBLP DOI BibTeX RDF
34	Tao Wang, Abhik Roychoudhury, Roland H. C. Yap, S. C. Choudhary	Symbolic Execution of Behavioral Requirements.	PADL	2004	DBLP DOI BibTeX RDF
34	Dávid Hanák, Tamás Szeredi, Péter Szeredi	FDBG, the CLPFD Debugger Library of SICStus Prolog.	ICLP	2004	DBLP DOI BibTeX RDF
34	Nuno Gomes, Zita A. Vale, Carlos Ramos 0001	Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.	CP	2003	DBLP DOI BibTeX RDF
34	Adam Wierzbicki	Internet Cache Location and Design of Content Delivery Networks.	NETWORKING Workshops	2002	DBLP DOI BibTeX RDF
34	Martin K. Purvis, Stephen Cranefield, Geoff Bush, Daniel Carter, Bryce McKinlay, Mariusz Nowostawski, Roy Ward	The NZDIS Project: An Agent-based Distributed Information Systems Architecture.	HICSS	2000	DBLP DOI BibTeX RDF
34	Aleksandar M. Bakic, Matt W. Mutka	A Compiler-Based Approach to Design and Engineering of Complex Real-Time Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	Distributed Real-Time System Design, Adaptive Computing Systems, Constraint Logic Programming
34	Helmut Simonis	Building Industrial Applications with Constraint Programming.	CCL	1999	DBLP BibTeX RDF
34	Gerhard Wetzel, Francesca Toni	Semantic Query Optimization through Abduction and Constraint Handling.	FQAS	1998	DBLP DOI BibTeX RDF
34	Robert Rodosek, Mark Wallace 0001	A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.	CP	1998	DBLP DOI BibTeX RDF
34	John Darlington, Yike Guo	Constraint Logic Programming in the Sequent Calculus.	LPAR	1994	DBLP DOI BibTeX RDF
34	George K. Papakonstantinou, C. Voliotis, Nikitas M. Sgouros	Dependency-Directed Binding of Variables For Constraint Logic Programming.	DEXA	1994	DBLP DOI BibTeX RDF	Expert Systems Architecture, Knowledge Engineering, Deductive Databases