Sciweavers

1438 search results - page 49 / 288
» Relational aspects as tracematches
Sort
View
140
Voted
ENTCS
2002
83views more  ENTCS 2002»
15 years 1 months ago
Operational Semantics for Functional Logic Languages
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...
JILT
2000
109views more  JILT 2000»
15 years 1 months ago
Software Patents Pending?
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...
Robin Widdison
AI
1999
Springer
15 years 1 months ago
An Affective Mobile Robot Educator with a Full-Time Job
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...
Illah R. Nourbakhsh
INTERNET
2002
106views more  INTERNET 2002»
15 years 1 months ago
Providing Emergency Services in Internet Telephony
Assisting during emergencies is one of the important functions of the telephone system. Emergency communications has three components: summoning help during emergencies, coordinat...
Henning Schulzrinne, Knarig Arabshian
ITP
2002
120views Mathematics» more  ITP 2002»
15 years 1 months ago
Discontinuities and continuities: a new way to understand virtual work
``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...