Search results for "over-constraint"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
38	Jincheng Mao, Wenyu Yang	Computing Contact Force and Deformation in the Heavy-Duty Gripping with Over-Constraint.	ICIRA (1)	2008	DBLP DOI BibTeX RDF	workpiece-gripper system, heavy-duty manipulators, contact force, over-constraint
21	Werner L. Schiele	Compaction with Incremental Over-Constraint Resolution.	DAC	1988	DBLP BibTeX RDF
20	Ali Dasdan	Efficient algorithms for debugging timing constraint violations.	Timing Issues in the Specification and Synthesis of Digital Systems	2002	DBLP DOI BibTeX RDF	over-constraint resolution, scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis
16	Ali Dasdan	A strongly polynomial-time algorithm for over-constraint resolution: efficient debugging of timing constraint violations.	CODES	2002	DBLP DOI BibTeX RDF	scheduling, high-level synthesis, constraint satisfaction, timing constraints, behavioral synthesis, rate analysis
10	Yangyang Huang, Jinzhu Zhang, Xiaoyan Xiong, Shengxiang Liu	Kinematic and dynamic analysis of a 4-DOF over-constraint parallel driving mechanism with planar sub-closed chains.	Robotica	2023	DBLP DOI BibTeX RDF
10	Jun-Yi Li, Bin Zhang 0026, Renquan Lu, Yong Xu 0003	Robust Distributed H∞ State Estimation for Stochastic Periodic Systems Over Constraint Sensor Networks.	IEEE Trans. Syst. Man Cybern. Syst.	2020	DBLP DOI BibTeX RDF
10	Tias Guns, Peter J. Stuckey, Guido Tack	Solution Dominance over Constraint Satisfaction Problems.	CoRR	2018	DBLP BibTeX RDF
10	Andrew Lamont, Jonathan North Washington	Phylogenetic simulations over constraint-based grammar formalisms.	SRW@HLT-NAACL	2016	DBLP DOI BibTeX RDF
10	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001, Pierluigi San Pietro	Bounded Reachability for Temporal Logic over Constraint Systems	CoRR	2010	DBLP BibTeX RDF
10	Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi 0001, Pierluigi San Pietro	Bounded Reachability for Temporal Logic over Constraint Systems.	TIME	2010	DBLP DOI BibTeX RDF
10	Alberto Lluch-Lafuente, Ugo Montanari	Quantitative mu-calculus and CTL defined over constraint semirings.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
10	Masayoshi Wada, Akira Takagi, Shunji Mori	Caster Drive Mechanisms for Holonomic and Omnidirectional Mobile Platforms with no Over Constraint.	ICRA	2000	DBLP DOI BibTeX RDF
10	Stéphane Grumbach, Jianwen Su	First-order Definability over Constraint Databases.	CP	1995	DBLP DOI BibTeX RDF
10	Markus Höhfeld, Gert Smolka	Definite Resolution over Constraint Languages	LILOG-Report	1988	RDF
9	Camilo Rueda, Frank D. Valencia	On validity in modelization of musical problems by CCP.	Soft Comput.	2004	DBLP DOI BibTeX RDF
9	Narendra Jussien, Romuald Debruyne, Patrice Boizumault	Maintaining Arc-Consistency within Dynamic Backtracking.	CP	2000	DBLP DOI BibTeX RDF
7	Whee Kuk Kim, Kiyoung Choi, Byung-Ju Yi	A Mobility Analysis Method of Closed-chain Mechanisms with Over-constraints and Non-holonomic Constraints.	ICRA	2004	DBLP DOI BibTeX RDF
4	Peter Dolog, Heiner Stuckenschmidt, Holger Wache	Robust Query Processing for Personalized Information Access on the Semantic Web.	FQAS	2006	DBLP DOI BibTeX RDF
4	Y. F. Li, B. Zhang	Automatic Recalibration of the Relative Pose in a Structured Light System.	IROS	2006	DBLP DOI BibTeX RDF
4	Jen-Ming Wu, Wen-Bin Lin	Channel Estimation for Non-Line-of-Sight WiMax Communication System.	VTC Spring	2006	DBLP DOI BibTeX RDF