631 search results - page 40 / 127 » Deriving Specifications from Requirements: An Example |
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
In this paper, we consider the problem of compositing a scene from multiple images. Multiple images, for example, can be obtained by varying the exposure of the camera, by changin...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
The algorithms used in wireless applications are increasingly more sophisticated and consequently more challenging to implement in hardware. Traditional design flows require devel...
COORDINATION
2006
Springer
14 years 6 days ago
2006
Springer
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
WETICE
1995
IEEE
14 years 10 hour ago
1995
IEEE
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
AAAI
1996
13 years 9 months ago
1996
The paper presents an efficient goal oriented algorithm for symbolic propagation in Bayesian networks. The proposed algorithm performs symbolic propagation using numerical methods...