Sciweavers

3718 search results - page 265 / 744
» Programming by Integration in Robotics
Sort
View
ECLIPSE
2006
ACM
16 years 19 days ago
Next-generation DPP with Sangam and Facetop
This paper describes a state-of-the-art environment for distributed Extreme Programming that results from combining the Sangam editor, developed at NCSU and the Facetop user inter...
Kanyamas Navoraphan, Edward F. Gehringer, James Cu...
AGP
2003
IEEE
15 years 12 months ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
ICRA
2009
IEEE
176views Robotics» more  ICRA 2009»
16 years 1 months ago
Rollin' Justin - Mobile platform with variable base
Abstract— Research on humanoid robots for use in servicing tasks, e.g. fetching and delivery, attracts steadily more interest. With ”Rollin’ Justin” a mobile robotic system...
Christoph Borst, Thomas Wimböck, Florian Schm...
INAP
2005
Springer
16 years 5 days ago
TURTLE++ - A CIP-Library for C++
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
Petra Hofstedt, Olaf Krzikalla
ICSE
2012
IEEE-ACM
13 years 9 months ago
Temporal analysis of API usage concepts
—Software reuse through Application Programming Interfaces (APIs) is an integral part of software development. The functionality offered by an API is not always accessed uniforml...
Gias Uddin, Barthélémy Dagenais, Mar...