2800 search results - page 218 / 560 » Fibrational Control Structures |
132
click to vote
FLAIRS
2001
15 years 6 months ago
2001
The paper presents an approach to hierarchical clustering based on the use of a least general generalization (lgg) operator to induce a lattice structure of clusters and a categor...
116
click to vote
WEBNET
2001
15 years 6 months ago
2001
: When transforming an XML document for a given purpose, specifying the desired output format allows greater control over the transformation result than is possible using XSLT, esp...
116
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
We perturb the simple cubic (SC), body-centered cubic (BCC), and face-centered cubic (FCC) structures with a spatial Gaussian noise whose adimensional strength is controlled by th...
125
click to vote
IJRR
2010
15 years 3 months ago
2010
This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...
130
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We present the tool MERIT, a CEGAR model-checker for safety propf counter-systems, which sits in the Lazy Abstraction with Interpolants (LAWI) framework. LAWI is parametr...