We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
Existing algorithms for the Generation of Referring Expressions tend to generate distinguishing descriptions at the semantic level, disregarding the ways in which surface issues c...
Imtiaz Hussain Khan, Kees van Deemter, Graeme Ritc...
: This study investigates the usefulness of a scenario advisor tool which was designed to be used in the military domain where human or machine errors cause safety-critical problem...
Jae Eun Shin, Alistair G. Sutcliffe, Andreas Grego...
—Vehicular networks are on the fast track to become a reality either through a car manufacturer that introduces a communication device in the car electronics or through an afterm...
Eugenio Giordano, Enzo De Sena, Giovanni Pau, Mari...
Snippets are used by almost every text search engine to complement ranking scheme in order to effectively handle user searches, which are inherently ambiguous and whose relevance ...