1146 search results - page 68 / 230 » Formal Specification Generation from Requirement Documents |
DASIP
2010
14 years 4 months ago
2010
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
JCDL
2006
ACM
15 years 3 months ago
2006
ACM
Citation matching, or the automatic grouping of bibliographic references that refer to the same document, is a data management problem faced by automatic digital libraries for sci...
DOCENG
2005
ACM
14 years 11 months ago
2005
ACM
In the domain of XML authoring, there have been many tools to help users to edit XML documents. These tools make it easier to produce complex documents by using such technologies ...
DAC
2000
ACM
15 years 10 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
AND
2010
14 years 7 months ago
2010
In this paper we will present a set of experiments using large digitalized collections of books to show that logical structures can be extracted with good quality when working at ...