8398 search results - page 452 / 1680 » Optimal Software Testing |
186
click to vote
ITCC
2005
IEEE
16 years 1 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
166
click to vote
APSEC
2003
IEEE
16 years 26 days ago
2003
IEEE
The interface definition of a component in a distributed system forms the contract between the component itself and its neighbouring components regarding the use of its services....
272
click to vote
AMS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes a novel architecture for the programming of multi-modal service robots and networked sensors. The presented software framework eases the development o...
189
click to vote
LREC
2010
15 years 9 months ago
2010
This paper describes a software toolkit for the interactive display and analysis of automatically extracted or manually derived annotation features of visual and audio data. It ha...
272
click to vote
CGVR
2006
15 years 9 months ago
2006
ended abstract details previous methods for motion tracking and capture in 3D animation and in particular that of hand motion tracking and capture. Our research aims to enable ges...