In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
Recent twin decisions of the European Patent Office's Technical Board of Appeal have shifted its stance on software patents significantly. In this paper, I explore the backgr...
Sage is a robot that has been installed at the Carnegie Museum of Natural History as a full-time autonomous member of the staff. Its goal is to provide educational content to muse...
Assisting during emergencies is one of the important functions of the telephone system. Emergency communications has three components: summoning help during emergencies, coordinat...
``Virtual'' is a potent buzzword, freely applied to many situations, with many meanings. In this exploratory study, we develop a more precise understanding of ``virtual...
Mary Beth Watson-Manheim, Katherine M. Chudoba, Ke...