1077 search results - page 119 / 216 » integration 2000 |
ICMI
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper gives an overview of the Jacob project. This project involves the construction of a 3D virtual environment where an animated human-like agent called Jacob give...
ICMI
2000
Springer
13 years 11 months ago
2000
Springer
Face detection is a key problem in human-computer interaction. In this paper, we present an algorithm for rotation invariant face detection in color images of cluttered scenes. It ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen proje...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
IFM
2000
Springer
13 years 11 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...