Sciweavers

3718 search results - page 70 / 744
» Programming by Integration in Robotics
Sort
View
MM
2006
ACM
134views Multimedia» more  MM 2006»
15 years 3 months ago
Autonomous light air vessels (ALAVs)
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
Jed Berk, Nikhil Mitter
SIGADA
2001
Springer
15 years 2 months ago
Teaching computer science with robotics using Ada/Mindstorms 2.0
We present one approach to teaching basic computer science concepts with robotics, using an Ada interface to Lego Mindstorms™ 1 . We show simple problems put to students with no...
Barry S. Fagin, Laurence D. Merkle, Thomas W. Egge...
TSE
2011
145views more  TSE 2011»
14 years 4 months ago
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou
ICRA
1995
IEEE
122views Robotics» more  ICRA 1995»
15 years 1 months ago
Actuator Constraints in Optimal Motion Planning of Manipulators
The optimal motion generation problem is solved subject to various actuator constraints while the motion is constrained to an arbitrary path. The considered objective function is ...
Patrick Plédel, Yasmina Bestaoui