130 search results - page 9 / 26 » A Formal Way from Text to Code Templates |
135
Voted
ENTCS
2008
15 years 3 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
158
Voted
ICWSM
2009
15 years 1 months ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
145
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Evolutionary analysis provides a formal framework for comparative analysis of genomic and other data. In evolutionary analysis, observed data are treated as the termin...
131
Voted
AVBPA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The goal of a biometric encryption system is to embed a secret into a biometric template in a way that can only be decrypted with a biometric image from the enroled perso...
93
Voted
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...