Search results for "Constraints.1"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	Tiziana Ligorio, Susan L. Epstein	Partial Redundant Modeling.	CP	2005	DBLP DOI BibTeX RDF
13	Alexander Brodsky 0001, Larry Kerschberg, Samuel Varas	Optimal Constraint Decomposition for Distributed Databases.	ASIAN	2004	DBLP DOI BibTeX RDF
10	Michael Leuschel, Michael J. Butler	Automatic Refinement Checking for B.	ICFEM	2005	DBLP DOI BibTeX RDF	Constraints.1, Model Checking, Animation, Logic Programming, Tool Support, B-Method, Refinement Checking
9	Mingyan Huang, Zhiyong Liu, Scott D. Goodwin	Dueling CSP Representations: Local Search in the Primal versus Dual Constraint Graph.	AI	2003	DBLP DOI BibTeX RDF
7	Paliath Narendran, Michaël Rusinowitch	The Theory of Total Unary RPO Is Decidable.	Computational Logic	2000	DBLP DOI BibTeX RDF	recursive path ordering, ground reducibility, ordered rewriting, tree automata, first-order theory
6	Moslem Kazemi, Kamal Gupta 0001, Mehran Mehrandezh	Global path planning for robust Visual Servoing in complex environments.	ICRA	2009	DBLP DOI BibTeX RDF
6	Syed Sibte Raza Abidi, Yan Zeng	An Adaptive Hypermedia System Using a Constraint Satisfaction Approach for Information Personalization.	AH	2006	DBLP DOI BibTeX RDF
6	Sarah O'Connell, Barry O'Sullivan, Eugene C. Freuder	Teacher and Learner Profiles for Constraint Acquisition.	CP	2003	DBLP DOI BibTeX RDF
5	Eduardo Camponogara, Agustinho Plucenio	Lift-gas allocation under precedence constraints: 1-configuration inequalities.	SMC	2007	DBLP DOI BibTeX RDF
5	Ivy Hsu, Jean C. Walrand	Admission Control for Multi-Class ATM Traffic with Overflow Constraints 1.	Comput. Networks ISDN Syst.	1996	DBLP DOI BibTeX RDF
4	Friedrich Otto, Martin Plátek	A Two-Dimensional Taxonomy of Proper Languages of Lexicalized FRR-Automata.	LATA	2008	DBLP DOI BibTeX RDF
4	Shigeki Sugimoto, Hidekazu Takahashi, Masatoshi Okutomi	Image Correspondence from Motion Subspace Constraint and Epipolar Constraint.	ACCV (2)	2007	DBLP DOI BibTeX RDF
4	Saraju P. Mohanty, N. Ranganathan, Vamsi Krishna	Datapath Scheduling using Dynamic Frequency Clocking.	ISVLSI	2002	DBLP DOI BibTeX RDF
4	Hua Xiang 0001, Kai-Yuan Chao, D. F. Wong 0001	ECO algorithms for removing overlaps between power rails and signal wires.	ICCAD	2002	DBLP DOI BibTeX RDF
4	Stephen T. Barnard	Stochastic stereo matching over scale.	Int. J. Comput. Vis.	1989	DBLP DOI BibTeX RDF
2	Cyril Soler, Olivier Hoel, Frank Rochet	A deferred shading pipeline for real-time indirect illumination.	SIGGRAPH Talks	2010	DBLP DOI BibTeX RDF
2	Matthew Andrews, Lisa Zhang	Complexity of wavelength assignment in optical network optimization.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	approximation algorithms, optical networking, hardness of approximation, routing and wavelength assignment
2	Yijia Zhao, Stephen D. Patek, Peter A. Beling	Decentralized Bayesian Search Using Approximate Dynamic Programming Methods.	IEEE Trans. Syst. Man Cybern. Part B	2008	DBLP DOI BibTeX RDF
2	Yuancan Huang	Stabilizing Lagrange-Type Nonlinear Programming Neural Networks.	ISNN (3)	2007	DBLP DOI BibTeX RDF
2	Xinshan Zhu	Image-Adaptive Spread Transform Dither Modulation Using Human Visual Model.	CIS	2006	DBLP DOI BibTeX RDF
2	Beomjoo Seo, Roger Zimmermann	Efficient disk replacement and data migration algorithms for large disk subsystems.	ACM Trans. Storage	2005	DBLP DOI BibTeX RDF	Disk replacement, randomized striping, data migration, storage resource management
2	Anis Koubaa, Yeqiong Song, Jean-Pierre Thomesse	Integrating (m, k)-Firm Real-Time Guarantees into the Internet QoS Model.	NETWORKING	2004	DBLP DOI BibTeX RDF
2	Nicolas Oury	Observational Equivalence and Program Extraction in the Coq Proof Assistant.	TLCA	2003	DBLP DOI BibTeX RDF
2	Tim Roughgarden	How unfair is optimal routing?	SODA	2002	DBLP BibTeX RDF
2	Antoine Manzanera, Thierry M. Bernard, Françoise J. Prêteux, Bernard Longuet	Ultra-Fast Skeleton Based on an Isotropic Fully Parallel Algorithm.	DGCI	1999	DBLP DOI BibTeX RDF	Fully Parallel Algorithm, Isotropy, Median Axis, Boolean Complexity, Skeleton, Thinning, Logic Minimization, Discrete Topology
2	Matthew C. Schnaidt, Debra A. Hensgen, John Falby, Taylor Kidd, David St. John	Passive, Domain-Independent, End-to-End Message Passing Performance Monitoring to Support Adaptive Applications in MSHN.	HPDC	1999	DBLP DOI BibTeX RDF
2	Nobuo Funabiki, Junji Kitamichi	A gradual neural-network algorithm for jointly time-slot/code assignment problems in packet radio networks.	IEEE Trans. Neural Networks	1998	DBLP DOI BibTeX RDF
2	Roberto Grossi, Andrea Pietracaprina, Geppino Pucci	Optimal Deterministic Protocols for Mobile Robots on a Grid.	SWAT	1998	DBLP DOI BibTeX RDF