Sciweavers

441 search results - page 62 / 89
» An extension of the ICA model using latent variables
Sort
View
CMOT
2000
94views more  CMOT 2000»
13 years 8 months ago
Performance of Organizational Design Models and Their Impact on Organization Learning
Theperformanceofvariousorganizationalstructuresisanessentialparameterinthereengineeringoforganizations, particularly in the current rapidly changing, competitive and information t...
Aris M. Ouksel, Ronald Vyhmeister
TITB
2011
109views more  TITB 2011»
13 years 3 months ago
Effect of Posture Change on the Geometric Features of the Healthy Carotid Bifurcation
—Segmented cross-sectional MRI images were used to construct 3-D virtual models of the carotid bifurcation in ten healthy volunteers. Geometric features, such as bifurcation angl...
Nicolas Aristokleous, Ioannis Seimenis, Yannis Pap...
ENTCS
2007
85views more  ENTCS 2007»
13 years 8 months ago
Stochastic Modelling of Communication Protocols from Source Code
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
Michael J. A. Smith
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 12 days ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
ICANN
2003
Springer
14 years 2 months ago
Unsupervised Learning of a Kinematic Arm Model
Abstract. An abstract recurrent neural network trained by an unsupervised method is applied to the kinematic control of a robot arm. The network is a novel extension of the Neural ...
Heiko Hoffmann, Ralf Möller