Search results for "constraint hierarchies"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe	Simulation of hybrid systems based on hierarchical interval constraints.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, hybrid systems, interval arithmetic, constraint hierarchies
2	Levent V. Orman	Browsing databases with constraint hierarchies.	Electronic Commerce Research	2008	DBLP DOI BibTeX RDF	Database browsing, Market search, Electronic markets, Data typing, Database application, Constraint hierarchies, Incremental search
2	Christophe Jermann, Hiroshi Hosobe	A constraint hierarchies approach to geometric constraints on sketches.	SAC	2008	DBLP DOI BibTeX RDF
2	Ying Guan, Aditya K. Ghose, Zheng Lu	Using constraint hierarchies to support QoS-guided service composition.	ICWS	2006	DBLP DOI BibTeX RDF
2	Hiroshi Hosobe	Hierarchical nonlinear constraint satisfaction.	SAC	2004	DBLP DOI BibTeX RDF	constraint satisfaction, least squares, constraint hierarchies, nonlinear constraints
2	Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.	CP	2003	DBLP DOI BibTeX RDF
2	R. W. L. Kam, Jimmy Ho-Man Lee	Fuzzifying the Constraint Hierarchies Framework.	CP	1998	DBLP DOI BibTeX RDF
2	Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa	Interactive Generation of Graphical User Interfaces by Multiple Visual Examples.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	visual parsing, visualization, graphical user interfaces, programming by example, constraint hierarchies
1	Stefano Bistarelli, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee	Solving finite domain constraint hierarchies by local consistency and tree search.	J. Exp. Theor. Artif. Intell.	2009	DBLP DOI BibTeX RDF
1	Hiroshi Hosobe	Constraint Hierarchies as Semiring-Based CSPs.	ICTAI	2009	DBLP DOI BibTeX RDF
1	Joachim Biskup, Dominique Marc Burgard, Torben Weibert, Lena Wiese	Inference Control in Logic Databases as a Constraint Satisfaction Problem.	ICISS	2007	DBLP DOI BibTeX RDF	confidentiality, constraint satisfaction problems, Inference control, constraint hierarchies, logic databases
1	Ying Guan, Aditya K. Ghose, Zheng Lu	HCLP Based Service Composition.	IAT Workshops	2006	DBLP DOI BibTeX RDF
1	Josef Zlomek, Roman Barták	Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.	CP	2005	DBLP DOI BibTeX RDF
1	Ying Guan, Aditya K. Ghose	Use Constraint Hierarchy for Non-functional Requirements Analysis.	ICWE	2005	DBLP DOI BibTeX RDF
1	Martin Henz, Roland H. C. Yap, Lim Yun Fong, Lua Seet Chong, J. Paul Walser, Shi Xiao Ping	Solving Hierarchical Constraints over Finite Domains with Local Search.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	hierarchical constraints, over-constrained problems, airport gate allocation, finite domain constraints
1	Hiroshi Hosobe, Satoshi Matsuoka	A Foundation of Solution Methods for Constraint Hierarchies.	Constraints	2003	DBLP DOI BibTeX RDF
1	Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee	Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.	IJCAI	2003	DBLP BibTeX RDF
1	Warwick Harvey, Peter J. Stuckey, Alan Borning	Fourier Elimination for Compiling Constraint Hierarchies.	Constraints	2002	DBLP DOI BibTeX RDF
1	Hiroshi Hosobe	A modular geometric constraint solver for user interface applications.	UIST	2001	DBLP DOI BibTeX RDF	module mechanisms, geometric constraints, graph layouts, soft constraints, constraint solvers
1	Hana Rudová	Constraints with Variables` Annotations and Constraint Hierarchies.	SOFSEM	1998	DBLP DOI BibTeX RDF
1	Duong Tuan Anh, Kanchana Kanchanasut	An Incremental Solver for Constraint Hierarchies over Real Intervals.	IEA/AIE	1996	DBLP BibTeX RDF
1	Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa	Generalized Local Propagation: A Framework for Solving Constraint Hierarchies.	CP	1996	DBLP DOI BibTeX RDF
1	Brad T. Vander Zanden	An Incremental Algorithm for Satisfying Hierarchies of Multiway Dataflow Constraints.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	incremental constraint satisfaction, constraints, interactive systems
1	Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson	Constraint Hierarchies.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
1	Armin Wolf	Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
1	Michael Jampel	A Composistional Theory of Constraint Hierarchies.	Over-Constrained Systems	1995	DBLP DOI BibTeX RDF
1	Armin Wolf	Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD).	WLP	1995	DBLP BibTeX RDF
1	Michael Sannella	Skyblue: A Multi-way Local Propagation Constraint Solver for User Interface Construction.	ACM Symposium on User Interface Software and Technology	1994	DBLP DOI BibTeX RDF	SkyBlue, local propagation, user interface implementation, constraints, constraint hierarchies
1	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
1	Alan Borning, Bjørn N. Freeman-Benson, Molly Wilson	Constraint Hierarchies.	Lisp and Symbolic Computation	1992	DBLP BibTeX RDF
1	Alan Borning, Michael J. Maher, Amy Martindale, Molly Wilson	Constraint Hierarchies and Logic Programming.	ICLP	1989	DBLP BibTeX RDF
1	Alan Borning, Robert Duisberg, Bjørn N. Freeman-Benson, Axel Kramer, Michael Woolf	Constraint Hierarchies.	OOPSLA	1987	DBLP DOI BibTeX RDF