We show how Sestoft’s abstract machine for lazy evaluation of purely functional programs can be extended to evaluate expressions of the calculus CHF – a process calculus that models Concurrent Haskell extended by imperative and implicit futures. The abstract machine is modularly constructed by first adding monadic IO-actions to the machine and then in a second step we add concurrency. Our main ...

In recent years, a fundamental problem structure has emerged as very useful in a variety of machine learning applications: Submodularity is an intuitive diminishing returns property, stating that adding an element to a smaller set helps more than adding it to a larger set. Similarly to convexity, submodularity allows one to efficiently find provably (near-) optimal solutions for large problems....

The effectiveness of using the semantic attributes of verbs has been shown in various kinds of natural processing systems, such as machine translation systems. The addition of an attribute value is, however, time-consuming and must be performed by hand by an expert on the attribute value. In this paper, two methods for efficiently adding verbal semantic attributes to a Japanese-to-English valen...

This paper seeks to complement the current trend of adding more structure to Statistical Machine Translation systems, by exploring the opposite direction: adding statistical components to a Transfer-Based MT system. Initial results on the BTEC data show significant improvement according to three automatic evaluation metrics (BLEU, NIST and METEOR).

This paper seeks to complement the current trend of adding more structure to Statistical Machine Translation systems, by exploring the opposite direction: adding statistical components to a Transfer-Based MT system. Initial results on the BTEC data show significant improvement according to three automatic evaluation metrics (BLEU, NIST and METEOR).

Machine ethics, in contrast to computer ethics, is concerned with the behavior of machines towards human users and other machines. It involves adding an ethical dimension to machines. Our increasing reliance on machine intelligence that effects change in the world can be dangerous without some restraint. We explore the implementation of two action-based ethical theories that might serve as a fo...

On April 20, 1995, Paul Allen Catlin passed away in Detroit, Michigan, at the age of 46, and the community of Graph Theory lost one of its best friends. Paul Catlin was born on June 25, 1948 in Bridgeport, Connecticut. His life-long love for mathematics was visible from the start. His younger brother, David Catlin, remembers Paul riding around on his tricycle counting for the sheer pleasure of ...

Due to the high price of crude oil, and consequently asphalt binder, the application of Reclaimed Asphalt Pavement (RAP) in pavement technology is widely considered. The present paper is the result of a laboratory research which was carried out to investigate the effects of adding a rejuvenating agent to Hot Mix Asphalt (HMA) with RAP. To this end, test samples comprised of Aged Asphalt Binder ...