1146 search results - page 195 / 230 » Formal Specification Generation from Requirement Documents |
IMC
2010
ACM
14 years 7 months ago
2010
ACM
Network tomography establishes linear relationships between the characteristics of individual links and those of end-toend paths. It has been proved that these relationships can b...
SIGDOC
2009
ACM
15 years 4 months ago
2009
ACM
Texts are the media content primarily available on Web sites and applications. However, this heavy use of texts creates an accessibility barrier to those who cannot read fluently...
BIRTHDAY
2003
Springer
15 years 2 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
CIKM
2008
Springer
14 years 11 months ago
2008
Springer
Learning-to-rank algorithms, which can automatically adapt ranking functions in web search, require a large volume of training data. A traditional way of generating training examp...
APVIS
2009
14 years 10 months ago
2009
Current visualization systems are typically based on the concept of interactive post-processing. This decoupling of data visualization from the process of data generation offers a...