Sciweavers

746 search results - page 92 / 150
» The NASA standard for models and simulations
Sort
View
108
Voted
IROS
2007
IEEE
122views Robotics» more  IROS 2007»
15 years 7 months ago
Lagrangian dynamics of open multibody systems with generalized holonomic and nonholonomic joints
— Standard methods to model multibody systems are aimed at systems with configuration spaces isomorphic to Rn . This limitation leads to singularities and other artifacts in cas...
Vincent Duindam, Stefano Stramigioli
95
Voted
FMOODS
2006
15 years 2 months ago
Bounded Analysis and Decomposition for Behavioural Descriptions of Components
Abstract. Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages shoul...
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
101
Voted
ISBI
2007
IEEE
15 years 7 months ago
Lesion Detection in Noisy Mr Brain Images Using Constrained Gmm and Active Contours
This paper focuses on the detection and segmentation of multiple sclerosis (MS) lesions in magnetic resonance images. The proposed method performs healthy tissue segmentation usin...
Oren Freifeld, Hayit Greenspan, Jacob Goldberger
ECOWS
2008
Springer
15 years 2 months ago
Automatic Timed Test Case Generation for Web Services Composition
In order to specify the composition of Web services, WSBPEL was defined as an orchestrating language by an international standards consortium. In this paper, we propose a method t...
Mounir Lallali, Fatiha Zaïdi, Ana R. Cavalli,...
ICSNC
2007
IEEE
15 years 7 months ago
Movement Prediction Using Bayesian Learning for Neural Networks
Nowadays, path prediction is being extensively examined for use in the context of mobile and wireless computing towards more efficient network resource management schemes. Path pr...
Sherif Akoush, Ahmed Sameh