19798 search results - page 3623 / 3960 » Is Structural Subtyping Useful |
171
click to vote
IANDC
2011
15 years 3 days ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
194
Voted
JCSS
2011
15 years 2 days ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
177
Voted
SIAMIS
2011
15 years 2 days ago
2011
We define a novel metric on the space of closed planar curves which decomposes into three intuitive components. According to this metric centroid translations, scale changes and ...
155
click to vote
SIAMNUM
2011
15 years 2 days ago
2011
In the context of mesh adaptation, Riemannian metric spaces have been used to prescribe orientation, density and stretching of anisotropic meshes. But, such structures are only con...
181
click to vote
TASE
2011
IEEE
15 years 2 days ago
2011
IEEE
—This paper reports the design and development processes of a totally decoupled flexure-based XYZ parallel-kinematics micropositioning stage with piezoelectric actuation. The un...