77016 search results - page 500 / 15404 » Modeling |
152
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— A generalized kinematic modeling framework, called Mechanism_Model, has been developed for use in the CLARAty robotic reusable software. Mechanism_Model supports a wide range o...
207
click to vote
SIES
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
165
click to vote
VL
2007
IEEE
16 years 29 days ago
2007
IEEE
Striving toward the vision of Model Driven development (MDD), we face many open questions connected to the elementary tasks involved in working with models. Probably the most basi...
166
click to vote
WCRE
2007
IEEE
16 years 29 days ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
193
click to vote
ACIVS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. In this work, we present two active shape models for the segmentation of tubular objects. The first model is built using cylindrical parameterization and minimum descrip...