1791 search results - page 51 / 359 » Two Types of Multiple-Conclusion Systems |
FDL
2006
IEEE
14 years 1 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
ICRA
2002
IEEE
14 years 18 days ago
2002
IEEE
An automated tether system has been developed for the purpose of improving the efficiency of micro-gravity activities of fully suited astronauts. System features include gripping ...
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
—Sailing experts can explain basic sailing skills by rules about how to steer sails and rudder according to direction of target and wind. This paper describes how to transform th...
ISMAR
2003
IEEE
14 years 28 days ago
2003
IEEE
We present a six degrees of freedom tracking system, which is wireless and scalable concerning the tracking volume and the number of devices being tracked. This is achieved by the...
ISSAC
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we report on an experience communicating two computer algebra systems, namely GAP (and more concretely, its HAP package to compute in Homological Algebra) and Kenzo ...