1837 search results - page 58 / 368 » Abstraction and the C Machine Model |
MT
2006
13 years 8 months ago
2006
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
We propose a framework for quantitative security analysis of machine learning methods. Key issus of this framework are a formal specification of the deployed learning model and a...
EMSOFT
2006
Springer
14 years 12 days ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
IICAI
2003
13 years 10 months ago
2003
Abstract: Democratic societies throughout the world, it appears, are facing a new type of threat dubbed "asymmetric threat." In this new threat environment the world gove...
ICCPOL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We propose a lexicalized syntactic reordering framework for crosslanguage word aligning and translating researches. In this framework, we first flatten hierarchical sourc...