|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
36 | Manfred Broy, Greg Nelson |
Adding Fair Choice to Dijkstra's Calculus. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
dovetail, law of the excluded miracle, partial commands, semantics, fairness, nondeterminism, guarded commands |
36 | Xingyuan Sun, Chenyue Cai, Ryan P. Adams, Szymon Rusinkiewicz |
Gradient-Based Dovetail Joint Shape Optimization for Stiffness. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Xingyuan Sun, Chenyue Cai, Ryan P. Adams, Szymon Rusinkiewicz |
Gradient-Based Dovetail Joint Shape Optimization for Stiffness. |
SCF |
2023 |
DBLP DOI BibTeX RDF |
|
36 | Margaret Rox, Maxwell Emerson, Tayfun Efe Ertop, Inbar Fried, Mengyu Fu, Janine Hoelscher, Alan Kuntz, Josephine Granna, Jason E. Mitchell, Michael Lester, Fabien Maldonado, Erin A. Gillaspie, Jason A. Akulian, Ron Alterovitz, Robert J. Webster III |
Decoupling Steerability From Diameter: Helical Dovetail Laser Patterning for Steerable Needles. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
36 | Mauricio Cecilio Magnaguagno, Ramon Fraga Pereira, Felipe Meneguzzi |
DOVETAIL - An Abstraction for Classical Planning Using a Visual Metaphor. |
FLAIRS |
2016 |
DBLP BibTeX RDF |
|
36 | Jody Sankey, Matthew K. Wright |
Dovetail: Stronger Anonymity in Next-Generation Internet Routing. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
36 | Jody Sankey, Matthew K. Wright |
Dovetail: Stronger Anonymity in Next-Generation Internet Routing. |
Privacy Enhancing Technologies |
2014 |
DBLP DOI BibTeX RDF |
|
36 | Jere Kolehmainen |
Optimal Dovetail Permanent Magnet Rotor Solutions for Various Pole Numbers. |
IEEE Trans. Ind. Electron. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Pinkuan Liu, Yulin Wang, Jun Wu |
Novel Design and Analysis of Magnetic Couplings Used for Vacuum Robot. |
ICIRA (1) |
2008 |
DBLP DOI BibTeX RDF |
magnetic couplings, vacuum robot, 3D FEA |
24 | Edmund H. Durfee |
Planning for Coordination and Coordination for Planning. |
Web Intelligence |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Liping Zhao 0001 |
A heuristic method for analyzing driver scheduling problem. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christopher Lindinger, Roland Haring, Horst Hörtner, Daniela Kuka, Hirokazu Kato 0001 |
Mixed Reality Installation 'Gulliver's World': Interactive Content Creation in Nonlinear Exhibition Design. |
TIDSE |
2006 |
DBLP DOI BibTeX RDF |
Nonlinear Exhibition, Reality-Virtuality-Continuum, Mixed Reality, Haptic Interfaces, Edutainment, Collaborative Environment |
24 | Yogesh Deshpande |
Web Engineering Curriculum: A Case Study of an Evolving Framework. |
ICWE |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Gianpiero Cabodi, Sergio Nocco, Stefano Quer |
Improving SAT-Based Bounded Model Checking by Means of BDD-Based Approximate Traversals. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Marlene Behrmann, John Philbeck |
Spatial Representation and Updating: Evidence from Neuropsychological Investigations. |
COSIT |
2001 |
DBLP DOI BibTeX RDF |
Spatial reference frames, Hemispatial neglect, Spatial representation, Neuropsychology, Spatial updating |
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|