Search results for "Constraint-Solving"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
12	Juyang Zhang, Jigui Sun, Yonggang Zhang	A Dynamic Constraint Solving Scheme for Semi On-Line Scheduling Problems.	AIAI	2005	DBLP DOI BibTeX RDF
12	Nikolai Kosmatov	Constraint Solving for Sequences in Software Validation and Verification.	INAP	2005	DBLP DOI BibTeX RDF	verification, validation, sequences, constraint solver
12	Chuang Liu 0006, Ian T. Foster	DB CSPA Framework and Algorithms for Applying Constraint Solving within Relational Databases.	W(C)LP	2005	DBLP BibTeX RDF
12	Adam Meissner, Krzysztof Zwierzynski	Vertex-Magic Total Labeling of a Graph by Distributed Constraint Solving in the Mozart System.	PPAM	2005	DBLP DOI BibTeX RDF
12	Alfio Vidotto, Kenneth N. Brown, J. Christopher Beck	Robust Constraint Solving Using Multiple Heuristics.	CP	2005	DBLP DOI BibTeX RDF
12	Xinli Zhang, Dayong Zhu	A Connectivity Analysis Approach in Geometric Constraint Solving.	SYNASC	2005	DBLP DOI BibTeX RDF
12	Bernhard K. Aichernig, Percy Antonio Pari Salas	Test Case Generation by OCL Mutation and Constraint Solving.	QSIC	2005	DBLP DOI BibTeX RDF
12	Sabrina Baselice, Piero A. Bonatti, Michael Gelfond	A Preliminary Report on Integrating of Answer Set and Constraint Solving.	Answer Set Programming	2005	DBLP BibTeX RDF
12	Philippe Galinier, Jin-Kao Hao	A General Approach for Constraint Solving by Local Search.	J. Math. Model. Algorithms	2004	DBLP DOI BibTeX RDF
12	Frédéric Benhamou, Frédéric Goualard, Éric Languénou, Marc Christie	Interval constraint solving for camera control and motion planning.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	inner approximation, interval constraint, universal quantifier, Camera control
12	Antonio J. Fernández 0001	A Generic, Collaborative Framework for Interval Constraint Solving.	AI Commun.	2004	DBLP BibTeX RDF
12	Ching-Shoei Chiang, Robert Joan-Arinyo	Revisiting variable radius circles in constructive geometric constraint solving.	Comput. Aided Geom. Des.	2004	DBLP DOI BibTeX RDF
12	Jun Yuan 0007, Adnan Aziz, Carl Pixley, Ken Albin	Simplifying Boolean constraint solving for random simulation-vector generation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
12	Guillem Godoy, Robert Nieuwenhuis	Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups.	Constraints An Int. J.	2004	DBLP DOI BibTeX RDF	symbolic constraints, built-in theories, automated deduction, term orderings
12	Stefano Bistarelli	Semirings for Soft Constraint Solving and Programming		2004	DOI RDF
12	María Victoria Luzón, Enrique Barreiro, Enrique Yeguas, Robert Joan-Arinyo	GA and CHC. Two Evolutionary Algorithms to Solve the Root Identification Problem in Geometric Constraint Solving.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
12	Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung	Faster constraint solving with subtypes.	ISSTA	2004	DBLP DOI BibTeX RDF	relational logic, verification, constraints, analysis, SAT, subtypes
12	Alfio Vidotto	Online Constraint Solving and Rectangle Packing.	CP	2004	DBLP DOI BibTeX RDF
12	Chunhong Cao, Wenhui Li 0002	New Method for Geometric Constraint Solving Based on the Genetic Quantum Algorithm.	WSCG (Posters)	2004	DBLP BibTeX RDF
12	Dominique Michelucci, Sebti Foufou	Using Cayley-Menger determinants for geometric constraint solving.	Symposium on Solid Modeling and Applications	2004	DBLP BibTeX RDF
12	Chunhong Cao, Wenhui Li 0002	The Geometric Constraint Solving Based on Mutative Scale Chaos Genetic Algorithm.	CIS	2004	DBLP DOI BibTeX RDF
12	Wenhui Li 0002, Chunhong Cao, Wan Yi	A New Algebraic-Based Geometric Constraint Solving Approach: Path Tracking Homotopy Iteration Method.	CIS	2004	DBLP DOI BibTeX RDF
12	Kilian A. Foth, Michael Daum 0004, Wolfgang Menzel	Parsing Unrestricted German Text with Defeasible Constraints.	CSLP	2004	DBLP DOI BibTeX RDF
12	Gerald Penn, Frank Richter 0001	The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition.	CSLP	2004	DBLP DOI BibTeX RDF
12	Irene Langkilde-Geary	An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing.	CSLP	2004	DBLP DOI BibTeX RDF
12	Ondrej Bojar	Problems of Inducing Large Coverage Constraint-Based Dependency Grammar for Czech.	CSLP	2004	DBLP DOI BibTeX RDF
12	Philippe Blache, Jean-Philippe Prost	Gradience, Constructions and Constraint Systems.	CSLP	2004	DBLP DOI BibTeX RDF
12	Philippe Blache	Property Grammars: A Fully Constraint-Based Theory.	CSLP	2004	DBLP DOI BibTeX RDF
12	Ralph Debusmann, Denys Duchier, Marco Kuhlmann	Multi-dimensional Graph Configuration for Natural Language Processing.	CSLP	2004	DBLP DOI BibTeX RDF
12	Véronique Moriceau, Patrick Saint-Dizier	A Constraint-Based Model for Lexical and Syntactic Choice in Natural Language Generation.	CSLP	2004	DBLP DOI BibTeX RDF
12	Monique Lamers, Helen de Hoop	Animacy Information in Human Sentence Processing: An Incremental Optimization of Interpretation Approach.	CSLP	2004	DBLP DOI BibTeX RDF
12	Benoît Crabbé, Denys Duchier	Metagrammar Redux.	CSLP	2004	DBLP DOI BibTeX RDF
12	Verónica Dahl	An Abductive Treatment of Long Distance Dependencies in CHR.	CSLP	2004	DBLP DOI BibTeX RDF
12	Mathieu Estratat, Laurent Henocque	An Intuitive Tool for Constraint Based Grammars.	CSLP	2004	DBLP DOI BibTeX RDF
12	Francisco Azevedo	Thesis: Constraint solving over multi-valued logics - application to digital circuits.	AI Commun.	2003	DBLP BibTeX RDF
12	Robert Joan-Arinyo, María Victoria Luzón, Antoni Soto-Riera	Genetic algorithms for root multiselection in constructive geometric constraint solving.	Comput. Graph.	2003	DBLP DOI BibTeX RDF
12	Agostino Dovier, Carla Piazza, Gianfranco Rossi	A uniform approach to constraint-solving for lists, multisets, compact lists, and sets	CoRR	2003	DBLP BibTeX RDF
12	Peter Zoeteweij	Coordination-Based Distributed Constraint Solving in DICE.	SAC	2003	DBLP DOI BibTeX RDF
12	Hubert Comon-Lundh, Vitaly Shmatikov	Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or.	LICS	2003	DBLP DOI BibTeX RDF
12	Meera Sitharam	Combinatorial Approaches to Geometric Constraint Solving: Problems, Progress, and Directions.	Geometric and Algorithmic Aspects of Computer-Aided Design and Manufacturing	2003	DBLP DOI BibTeX RDF
12	Christian Bessiere, Anaïs Fabre, Ulrich Junker	Propagate the Right Thing: How Preferences Can Speed-Up Constraint Solving.	IJCAI	2003	DBLP BibTeX RDF
12	Sebastià Vila-Marta	Contribution to geometric constraint solving in cooperative engineering.		2003	RDF
12	Stefan Ratschan	Approximate Quantified Constraint Solving by Cylindrical Box Decomposition.	Reliab. Comput.	2002	DBLP DOI BibTeX RDF
12	Konstantin Korovin, Andrei Voronkov	Knuth-Bendix constraint solving is NP-complete	CoRR	2002	DBLP BibTeX RDF
12	Kim Marriott, Sitt Sen Chok	QOCA: A Constraint Solving Toolkit for Interactive Graphical Applications.	Constraints An Int. J.	2002	DBLP DOI BibTeX RDF
12	Xiao-Shan Gao, Kun Jiang, Chang-Cai Zhu	Geometric constraint solving with conics and linkages.	Comput. Aided Des.	2002	DBLP DOI BibTeX RDF
12	Robert Joan-Arinyo, María Victoria Luzón, Antoni Soto-Riera	Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms.	PPSN	2002	DBLP DOI BibTeX RDF
12	Fabrizio Ferrandi, Michele Rendine, Donatella Sciuto	Functional Verification for SystemC Descriptions Using Constraint Solving.	DATE	2002	DBLP DOI BibTeX RDF
12	Bi Chen, Min Tang 0001, Jinxiang Dong	Geometric Constraint Solving For Parametric Conics.	CSCWD	2002	DBLP DOI BibTeX RDF
12	Jun Yuan 0007, Ken Albin, Adnan Aziz, Carl Pixley	Simplifying Boolean constraint solving for random simulation-vector generation.	ICCAD	2002	DBLP DOI BibTeX RDF
12	Yuri Dotsenko, Eyal de Lara, Dan S. Wallach, Willy Zwaenepoel	Extensible Adaptation via Constraint Solving.	WMCSA	2002	DBLP DOI BibTeX RDF
12	Yuan Zhan	Constraint Solving in Test-Data Generation.	CP	2002	DBLP DOI BibTeX RDF
12	Jun Yuan 0007, Ken Albin, Adnan Aziz, Carl Pixley	Simplifying Constraint Solving in Random Simulation Generation.	IWLS	2002	DBLP BibTeX RDF
12	Robert Joan-Arinyo, Nuria Mata, Antoni Soto-Riera	A Constraint Solving-Based Approach to Analyze 2D Geometric Problems With Interval Parameters.	J. Comput. Inf. Sci. Eng.	2001	DBLP DOI BibTeX RDF
12	Timothy J. Hickey	Metalevel Interval Arithmetic and Verifiable Constraint Solving.	J. Funct. Log. Program.	2001	DBLP BibTeX RDF
12	Xiao-Shan Gao, Lei-Dong Huang, Kun Jiang	Geometric constraint solving with geometric transformation.	Sci. China Ser. F Inf. Sci.	2001	DBLP DOI BibTeX RDF
12	Antonio J. Fernández 0001, Patricia M. Hill	Branching: the Essence of Constraint Solving	CoRR	2001	DBLP BibTeX RDF
12	Jonathan K. Millen, Vitaly Shmatikov	Constraint solving for bounded-process cryptographic protocol analysis.	CCS	2001	DBLP DOI BibTeX RDF
12	Konstantin Korovin, Andrei Voronkov	Knuth-Bendix Constraint Solving Is NP-Complete.	ICALP	2001	DBLP DOI BibTeX RDF
12	Andreas Fordan	Constraint Solving over OCR Graphs.	INAP (LNCS Volume)	2001	DBLP DOI BibTeX RDF
12	Armin Wolf	Attributed Variables for Dynamic Constraint Solving.	INAP	2001	DBLP BibTeX RDF
12	Andreas Fordan	Constraint Solving over OCR Graphs.	INAP	2001	DBLP BibTeX RDF
12	Robert Joan-Arinyo, Antoni Soto-Riera, Sebastià Vila-Marta, Josep Vilaplana	On the Domain of Constructive Geometric Constraint Solving Techniques.	SCCG	2001	DBLP BibTeX RDF
12	Pavel Brazdil, Alípio Jorge (eds.)	Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings	EPIA	2001	DBLP DOI BibTeX RDF
12	Guillem Godoy	Automated deduction with built-in theories: completeness results and constraint solving techniques.		2001	RDF
12	Viktor Jovanoski, Nada Lavrac	Classification Rule Learning with APRIORI-C.	EPIA	2001	DBLP DOI BibTeX RDF
12	Eva Onaindia, Óscar Sapena, Laura Sebastia, Eliseo Marzal	SimPlanner: An Execution-Monitoring System for Replanning in Dynamic Worlds.	EPIA	2001	DBLP DOI BibTeX RDF
12	Pablo Gamallo 0001, Alexandre Agustini, José Gabriel Pereira Lopes	Selection Restrictions Acquisition from Corpora.	EPIA	2001	DBLP DOI BibTeX RDF
12	Inês Lynce, Luís Baptista, João Marques-Silva 0001	Towards Provably Complete Stochastic Search Algorithms for Satisfiability.	EPIA	2001	DBLP DOI BibTeX RDF
12	Joaquim Reis, Nuno J. Mamede	Scheduling, Re-scheduling and Communication in the Multi-agent Extended Enterprise Environment.	EPIA	2001	DBLP DOI BibTeX RDF	Scheduling, Multi-Agent Systems, Supply-Chain Management
12	Bhanu Prasad 0001	Hybrid Hierarchical Knowledge Organization for Planning.	EPIA	2001	DBLP DOI BibTeX RDF
12	Julio Pacheco, M. Teresa Escrig, Francisco Toledo	Representing and Reasoning on Three-Dimensional Qualitative Orientation Point Objects.	EPIA	2001	DBLP DOI BibTeX RDF
12	Luís Torgo	A Study on End-Cut Preference in Least Squares Regression Trees.	EPIA	2001	DBLP DOI BibTeX RDF
12	Carlos Soares, Johann Petrak, Pavel Brazdil	Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms Before Choosing.	EPIA	2001	DBLP DOI BibTeX RDF
12	Nuno Amado, João Gama 0001, Fernando M. A. Silva	Parallel Implementation of Decision Tree Learning Algorithms.	EPIA	2001	DBLP DOI BibTeX RDF
12	Luis Antunes 0001, João Faria, Helder Coelho	Choice: The Key for Autonomy.	EPIA	2001	DBLP DOI BibTeX RDF
12	Rachel A. Bourne, Karen Shoop, Nicholas R. Jennings	Dynamic Evaluation of Coordination Mechanisms for Autonomous Agents.	EPIA	2001	DBLP DOI BibTeX RDF
12	Pedro de Almeida, Luís Torgo	The Use of Domain Knowledge in Feature Construction for Financial Time Series Prediction.	EPIA	2001	DBLP DOI BibTeX RDF
12	David Pearce 0001, Hans Tompits, Stefan Woltran	Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.	EPIA	2001	DBLP DOI BibTeX RDF
12	Thomas Hellström	Optimizing the Sharpe Ratio for a Rank Based Trading System.	EPIA	2001	DBLP DOI BibTeX RDF
12	Virginia Dignum, Frank Dignum	Modelling Agent Societies: Co-ordination Frameworks and Institutions.	EPIA	2001	DBLP DOI BibTeX RDF	institutions, virtual organisations, co-ordination, Agent societies
12	Vasant Dhar	A Comparison of GLOWER and other Machine Learning Methods for Investment Decision Making.	EPIA	2001	DBLP DOI BibTeX RDF
12	Antonio Garrido Tejero, Eva Onaindia, Federico Barber	A Temporal Planning System for Time-Optimal Planning.	EPIA	2001	DBLP DOI BibTeX RDF
12	Jesús Medina 0001, Manuel Ojeda-Aciego, Peter Vojtás	A Procedural Semantics for Multi-adjoint Logic Programming.	EPIA	2001	DBLP DOI BibTeX RDF
12	Susana Nascimento, Boris G. Mirkin, Fernando Moura-Pires	Proportional Membership in Fuzzy Clustering as a Model of Ideal Types.	EPIA	2001	DBLP DOI BibTeX RDF	fuzzy model identification, proportional membership, ideal type, Fuzzy clustering
12	Sabine Broda, Luís Damas	A Context-Free Grammar Representation for Normal Inhabitants of Types in TAlambda.	EPIA	2001	DBLP DOI BibTeX RDF
12	Elias Oliveira, Barbara M. Smith	A Combined Constraint-Based Search Method for Single-Track Railway Scheduling Problem.	EPIA	2001	DBLP DOI BibTeX RDF
12	Goran Trajkovski	An Imitation-Based Approach to Modeling Homogeneous Agents Societies.	EPIA	2001	DBLP DOI BibTeX RDF
12	Helmut A. Mayer, Roland Schwaiger	Evolution of Cubic Spline Activation Functions for Artificial Neural Networks.	EPIA	2001	DBLP DOI BibTeX RDF
12	Francisco J. Ferrer-Troyano, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos	Non-parametric Nearest Neighbor with Local Adaptation.	EPIA	2001	DBLP DOI BibTeX RDF
12	Joaquim Ferreira da Silva, João Mexia, Carlos Agra Coelho, José Gabriel Pereira Lopes	Multilingual Document Clustering, Topic Extraction and Data Transformations.	EPIA	2001	DBLP DOI BibTeX RDF
12	Benedita Malheiro, Eugénio Oliveira	Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems.	EPIA	2001	DBLP DOI BibTeX RDF
12	Laura Sebastia, Eva Onaindia, Eliseo Marzal	STeLLa: An Optimal Sequential and Parallel Planner.	EPIA	2001	DBLP DOI BibTeX RDF
12	Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, João P. Martins	Permissive Belief Revision.	EPIA	2001	DBLP DOI BibTeX RDF
12	Pierangelo Dell'Acqua, João Alexandre Leite, Luís Moniz Pereira	Evolving Multi-agent Viewpoints - an Architecture.	EPIA	2001	DBLP DOI BibTeX RDF
12	Patrick Blackburn, Jaap Kamps, Maarten Marx	Situation Calculus as Hybrid Logic: First Steps.	EPIA	2001	DBLP DOI BibTeX RDF
12	Pavel Brazdil, Carlos Soares, Rui Pereira	Reducing Rankings of Classifiers by Eliminating Redundant Classifiers.	EPIA	2001	DBLP DOI BibTeX RDF	ranking, meta-learning, algorithm selection
12	Ana Paula Rocha 0001, Eugénio C. Oliveira	Electronic Institutions as a Framework for Agents' Negotiation and Mutual Commitment.	EPIA	2001	DBLP DOI BibTeX RDF
12	Elizabeth Tapia, José Carlos González, L. Javier García-Villalba	Recursive Adaptive ECOC Models.	EPIA	2001	DBLP DOI BibTeX RDF
12	João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira	On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints.	EPIA	2001	DBLP DOI BibTeX RDF