2055 search results - page 24 / 411 » Generic Model Refactorings |
107
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Generic representatives have been proposed for the effective combination of symmetry reduction and symbolic representation with BDDs in non-probabilistic model checking. This appro...
121
click to vote
3DIM
2011
IEEE
13 years 10 months ago
2011
IEEE
We present a novel method for solving the challenging problem of generating 3D models of generic object categories from just one single un-calibrated image. Our method leverages t...
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
DAC
2006
ACM
15 years 10 months ago
2006
ACM
In this paper we present a generic interconnect fabric for transaction level modelling tackeling three major aspects. First, a review of the bus and IO structures that we have ana...
ICRA
2006
IEEE
15 years 3 months 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 ...