1330 search results - page 234 / 266 » Modeling components and frameworks with UML |
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— Active cannulas are remotely actuated thin continuum robots with the potential to traverse narrow and winding environments without relying on “guiding” environmenta...
119
click to vote
INFORMATICALT
2010
14 years 9 months ago
2010
This paper analyses the possibilities of integrating different technological and knowledge representation techniques for the development of a framework for the remote control of mu...
115
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
Copyright 2004 IEEE. Published in Conference on Computer Vision and Pattern Recognition (CVPR-2004), June 27 - July 2, 2004, Washington DC. Personal use of this material is permit...
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
115
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...