Sciweavers

2016 search results - page 181 / 404
» Megamaps: Construction and Examples
Sort
View
DM
2008
112views more  DM 2008»
15 years 6 months ago
Orbit-counting polynomials for graphs and codes
We construct an "orbital Tutte polynomial" associated with a dual pair M and M of matrices over a principal ideal domain R and a group G of automorphisms of the row spac...
Peter J. Cameron, Bill Jackson, Jason D. Rudd
ECEASST
2008
69views more  ECEASST 2008»
15 years 6 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
CAD
2006
Springer
15 years 6 months ago
Robust parameter synthesis for planar higher pair mechanical systems
We present a parameter synthesis algorithm for planar, higher pair mechanical systems. The input is a parametric model of a mechanical system (part shapes and configurations) with...
Min-Ho Kyung, Elisha Sacks
CII
2006
324views more  CII 2006»
15 years 6 months ago
Computer aided parametric design for 3D tire mold production
This paper presents a parametric design system for 3D tire mold production. Tire grooves commonly used in the current industry are classified according to their modeling procedure...
Chih-Hsing Chu, Mu-Chi Song, Vincent C. S. Luo
CLASSIFICATION
2006
103views more  CLASSIFICATION 2006»
15 years 6 months ago
On the Complexity of Ordinal Clustering
Abstract. Given a set of pairwise distances on a set of n points, constructing an edge-weighted tree whose leaves are these n points such that the tree distances would mimic the or...
Rahul Shah, Martin Farach-Colton