631 search results - page 48 / 127 » Deriving Specifications from Requirements: An Example |
ICCV
1998
IEEE
14 years 23 days ago
1998
IEEE
We have been developing a theory of generic 2-D shape based on a reaction-diffusion model from mathematical physics. The description of a shape is derived from the singularities o...
ISMVL
2002
IEEE
14 years 1 months ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
FM
1999
Springer
14 years 23 days ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
VLDB
2000
ACM
14 years 1 days ago
2000
ACM
Data allocation is a key performance factor for parallel database systems (PDBS). This holds especially for data warehousing environments where huge amounts of data and complex an...
CVHI
2007
13 years 10 months ago
2007
: Previous work already investigated the value of ambient sound visualizations for deaf and hearing-impaired people. Our work builds upon these results and specifically explores th...