130 search results - page 9 / 26 » A Formal Way from Text to Code Templates |
99
Voted
ENTCS
2008
15 years 12 days 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...
128
Voted
ICWSM
2009
14 years 10 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...
115
click to vote
BMCBI
2007
15 years 14 days 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...
104
click to vote
AVBPA
2005
Springer
15 years 5 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...
COMPSAC
2005
IEEE
15 years 6 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...