Reconfigurable computing offers an attractive solution to accelerating infrared scene simulations. In infrared scene simulations, the modeling of a number of atmospheric and optic...
Paraphrase generation (PG) is important in plenty of NLP applications. However, the research of PG is far from enough. In this paper, we propose a novel method for statistical par...
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version o...
Learning Object Metadata (LOM) intends to facilitate the retrieval and reuse of learning material. However, the fastidious task of authoring them limits their use. Motivated by thi...
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...