|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12 occurrences of 6 keywords
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
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 |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|