4636 search results - page 550 / 928 » Modelling and Validation with VipTool |
170
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We study the kinematic geometry of general 3-RPR planar parallel robots with actuated base joints. These robots, while largely overlooked, have simple direct kinematics and large ...
190
click to vote
CN
2006
15 years 7 months ago
2006
We first study the distribution of path duration in multi-hop wireless networks. We show that as the number of hops along a path increases, the path duration distribution can be a...
166
click to vote
CVGIP
2006
15 years 7 months ago
2006
We review an algorithm for the finite element simulation of elastoplastic solids which is capable of robustly and efficiently handling arbitrarily large deformation. In fact, the ...
166
click to vote
ENVSOFT
2006
15 years 7 months ago
2006
: Since Keynes (1930) and Hicks (1939) propounded their theory of normal backwardation, the issue of whether hedgers must pay speculators an insurance premium has remained controve...
170
click to vote
STTT
2008
15 years 7 months ago
2008
We present ProB, a validation toolset for the B method. ProB's automated animation facilities allow users to gain confidence in their specifications. ProB also contains a mode...