14 search results - page 3 / 3 » Expressive scoping of dynamically-deployed aspects |
INLG
2004
Springer
13 years 11 months ago
2004
Springer
Ambiguity in the output is a concern for NLG in general. This paper considers the case of structural ambiguity in spoken language generation. We present an algorithm which inserts ...
ACSAC
2002
IEEE
13 years 10 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...
TPHOL
1999
IEEE
13 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
BMCBI
2007
13 years 6 months ago
2007
Background: Protein domains coordinate to perform multifaceted cellular functions, and domain combinations serve as the functional building blocks of the cell. The available metho...