663 search results - page 14 / 133 » Interactive Realizers and Monads |
IANDC
2006
13 years 9 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— Humanoid robots as assistance or educational robots is an important research topic in the field of robotics. Especially the communication of those robots with a human operator...
INTERACT
2003
13 years 11 months ago
2003
: In one study, people are observed to keep web information for later use through many different methods including the use of Bookmarks (or Favorites), self-addressed email, hand-w...
ICWS
2009
IEEE
14 years 7 months ago
2009
IEEE
Analyzing interactions among peers that interact via messages is a crucial problem due to increasingly distributed nature of current software systems, especially the ones built us...
SOCRATES
2008
13 years 11 months ago
2008
As a multitude of studies has already revealed, illustrations can be profitably used to convey knowledge. While the importance of videos continues to increase on the internet, we ...