7103 search results - page 226 / 1421 » Components and Generative Programming |
FAC
2010
13 years 7 months ago
2010
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
FSE
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Algebraic attacks on stream ciphers apply (at least theoretically) to all LFSR-based stream ciphers that are clocked in a simple and/or easily predictable way. One intere...
ICDAR
2003
IEEE
14 years 3 months ago
2003
IEEE
In this paper, we propose a new character generation method from on-line handwriting recognizers based on Bayesian networks. On-line handwriting recognizers are trained with handw...
EWNLG
1993
14 years 2 months ago
1993
In this paper, we discuss the problem of generating natural anaphora in assembly instructional texts. We rst present a detailed account of grammatical and lexical anaphora and we e...
DIS
2008
Springer
14 years 4 days ago
2008
Springer
Frequent closures (FCIs) and generators (FGs) as well as the precedence relation on FCIs are key components in the definition of a variety of association rule bases. Although their...