Sciweavers

1178 search results - page 112 / 236
» A Methodological Approach to Developing Model Transformation...
Sort
View
WSC
2008
15 years 4 months ago
Comparison of bayesian priors for highly reliable limit models
Limit standards are probability interval requirements for proportions. Simulation literature has focused on finding the confidence interval of the population proportion, which is ...
Roy R. Creasey Jr., K. Preston White, Linda B. Wri...
ISPD
2007
ACM
116views Hardware» more  ISPD 2007»
15 years 3 months ago
A morphing approach to address placement stability
Traditionally, research in global placement has focused on relatively few simple metrics, such as pure wirelength or routability estimates. However, in the real world today, desig...
Philip Chong, Christian Szegedy
IROS
2009
IEEE
145views Robotics» more  IROS 2009»
15 years 8 months ago
Modeling and control of multi-contact centers of pressure and internal forces in humanoid robots
Abstract— This paper presents a methodology for the modeling and control of internal forces and moments produced during multi-contact interactions between humanoid robots and the...
Luis Sentis, Jaeheung Park, Oussama Khatib
CAISE
1997
Springer
15 years 5 months ago
OO-METHOD: An OO Software Production Environment Combining Conventional and Formal Methods
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
Oscar Pastor, Emilio Insfrán, Vicente Pelec...

Publication
263views
14 years 9 months ago
Abstract information visualization in interactive 3D virtual environments: conceptualization and usability evaluation
Abstract information refers to information that a user can’t directly obtain just by visualizing the spatial information of objects in a 3D virtual environment (3DVE). This thesi...
Kaveh Bazargan Harandi