896 search results - page 172 / 180 » Stepwise Refinement of Processes |
ICSE
2001
IEEE-ACM
14 years 27 days ago
2001
IEEE-ACM
It has long been accepted that requirements analysis should precede architectural design and implementation, but in software evolution and reverse engineering this concern with bl...
IPPS
2000
IEEE
14 years 25 days ago
2000
IEEE
As processor speeds rapidly approach the Giga-Hertz regime, the disparity between process time and memory access time plays an increasing role in the overall limitation of processo...
CA
1998
IEEE
14 years 22 days ago
1998
IEEE
The importance of faces in human interaction explains the desire for synthetic faces as a communication vehicle in computer graphics. Unfortunately, animating a face is a very com...
ECAI
2004
Springer
14 years 5 days ago
2004
Springer
We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...
FGR
2004
IEEE
14 years 5 days ago
2004
IEEE
Due to variations of lighting conditions, camera hardware settings, and the range of skin coloration among human beings, a pre-defined skin-color model cannot accurately capture t...