1021 search results - page 50 / 205 » Concepts in Proof Planning |
CASCON
2010
13 years 6 months ago
2010
We describe research conducted to improve the design and management of notifications in the Jazz collaborative development environment. Scenario-based design was used in conjuncti...
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
CMG
1997
13 years 10 months ago
1997
Capacity Planning has been a discipline practiced by IT since before the invention of the mainframe. It encompasses different measurement, analysis, modeling and reporting techniq...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
- This paper presents a third-order spline interpolation based trajectory planning method which is aiming to achieve smooth biped swing leg trajectory by reducing the instant veloc...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
In this paper, we describe the development of an Embodied Conversational Agent (ECA) implementing the concept of a companion, i.e. an agent supporting the persistent representatio...