480 search results - page 15 / 96 » Structural Patterns for Descriptive Documents |
WSC
2008
13 years 10 months ago
2008
The re-use of a model by someone else than the original developer is still an open challenge. This paper presents composition structures and interface descriptions for discreteeve...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
ICDM
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose a new technique for clustering of text documents that relies on a biclustering structure constructed on terms and documents. Our approach makes use of a greedy algorith...
LREC
2008
13 years 9 months ago
2008
This paper discusses the use of computational linguistic technology to extract definitions from a large corpus of German court decisions. We present a corpus-based survey of defin...
HICSS
1998
IEEE
13 years 11 months ago
1998
IEEE
Fagan inspections are a structured review of development documents that consists of individual preparation, a meeting and rework by the author of the document. Industrial experien...