user- Proc. of 6 th Int. Symposium on Representations and Methodology of Future Computing TechnologiesReed-Muller 2003, page pp. 135-144. (2003)
- (1998)
- 4 th Workshop on Tools for System Design and Verification FM-Tools, page pp. 195-196. (2000)
- Proc of 17 th NORCHIP ' 99 Conference, page pp. 52-60. (1999)
- Proc. of the 3 rd Int. Workshop on Applications of the Reed-Muller Expansion in Circuit DesignReed-Muller ' 97, (1997)
- Proc. of the 1998 IEEE / ACM Int. Workshop on Logic SynthesisIWLS 98, page pp. 19--24. (1998)
- Proceedings of the ACM SIGDOC 1998 Conference,, (1998)location=Quebec City, Canada .
- ECDL, page 639-640. (1998)
- Proc. of 4 th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit DesignReed-Muller ' 99, page pp. 179-184. (1999)
- Proc. of the 1999 IEEE / ACM Int. Workshop on Logic SynthesisIWLS 99,, page pp. 71-74. (1999)
- ISMVL, page 460-466. (2000)
- ISMVL, page 233-238. (2000)
- Proc. of IEEE / ACM Int. Workshop of Logic Synthesis IWLS 2000, page pp. 341-348. (2000)
- of IEEE / ACM Int. Workshop of Logic and Synthesis IWLS 2001, page pp. 304-309. (2001)
- Proc. of 5th Int. Workshop on Applications of the Reed-Muller Expansion in Circuit Design Reed-Muller 2001, page 51--56. Mississippi State University, Starkville, Mississippi, USA, (2001)location=Starkville, Mississippi, USA, date=2001 .
- SIGDOC, page 165-171. (2001)
- IWLS, page 385-390. (2002)
- Proceedings of SWAP 2005, the 2nd Italian Semantic Web Workshop, CEUR Workshop Proceedings 2005, volume 166 of CEUR Workshop Proceedings, Trento, Italy, CEUR-WS.org, (December 2005)
- Proc. of OntoLex 2006 - Interfacing Ontologies and Lexical Resources for Semantic Web, Genoa, Italy, (December 2007)Document index compilation is a sophisticated task that requires text understanding capabilities. SmartIndexer supports the author in the process of index ...Document index compilation is a sophisticated task that requires text understanding capabilities. SmartIndexer supports the author in the process of index compilation. By providing information about the general structure of an index in combination with the lexical and semantic resources of WordNet, SmartIndexer gives suggestions for arranging potential index entries according to their semantic relationships and according to the requirements of the author. In addition, the process of index compilation can be reversed in the sense that an existing document index can be used for automated semantic annotation of the underlying document..
- MDM, page 82. IEEE Computer Society, (2006)
