Sciweavers

3025 search results - page 162 / 605
» Automatic Programming of Robots Using Genetic Programming
Sort
View
WWW
2005
ACM
16 years 3 months ago
Using XForms to simplify Web programming
The difficulty of developing and deploying commercial web applications increases as the number of technologies they use increases and as the interactions between these technologie...
Richard Cardone, Danny Soroker, Alpana Tiwari
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 3 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
HRI
2010
ACM
15 years 3 months ago
Towards robust human robot collaboration in industrial environments
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
Batu Akan, Baran Çürüklü, Gi...
117
Voted
SIMPAR
2010
110views Robotics» more  SIMPAR 2010»
15 years 1 months ago
Improving a Robotics Framework with Real-Time and High-Performance Features
Middleware has a key role in modern and object-oriented robotics frameworks, which aim at developing reusable, scalable and maintainable systems using different platforms and prog...
Jesús Martínez, Adrián Romero...
FLAIRS
2006
15 years 4 months ago
Using Enhanced Concept Map for Student Modeling in Programming Tutors
We have been using the concept map of the domain, enhanced with pedagogical concepts called learning objectives, as the overlay student model in our intelligent tutors for program...
Amruth N. Kumar