33 search results - page 6 / 7 » From POOSL to UPPAAL: Transformation and Quantitative Analys... |
DAC
1999
ACM
14 years 7 months ago
1999
ACM
? The economic viability of the reusable core-based design paradigm depends on the development of techniques for intellectual property protection. We introduce the first dynamic wa...
MICCAI
2004
Springer
14 years 7 months ago
2004
Springer
We present a novel framework for learning a joint shape and appearance model from a large set of un-labelled training examples in arbitrary positions and orientations. The shape an...
ICRA
2006
IEEE
14 years 2 days ago
2006
IEEE
— This paper presents a generic kinematic modeling approach for articulated multi-monocycle mobile robots. The formulation proposed to deduce the input/output velocity equations ...
ICDE
1993
IEEE
13 years 10 months ago
1993
IEEE
In this article, different techniques for 'pointer swizzling" are classified and evaluated for optimizing the access to main-memory resident persistent objects. To speed ...
JGS
2010
13 years 4 months ago
2010
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...