10238 search results - page 154 / 2048 » Package-Based Software Development |
116
Voted
CODES
1997
IEEE
15 years 9 months ago
1997
IEEE
137
Voted
RAS
2008
15 years 4 months ago
2008
A still growing number of software concepts and framworks have been proposed to meet the challenges in the development of more and more complex robotic systems, like humanoids or n...
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
— Boolean Satistifiability has attracted tremendous research effort in recent years, resulting in the developments of various efficient SAT solver packages. Based upon their de...