101 search results - page 17 / 21 » assistive 1998 |
DIGITALCITIES
2003
Springer
14 years 26 days ago
2003
Springer
We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shopping, busines...
CACM
2002
13 years 7 months ago
2002
Abstract. We have developed a digital city for Kyoto, the old capital and cultural center of Japan, as a social information infrastructure for urban everyday life including shoppin...
UMUAI
1998
13 years 7 months ago
1998
We have implemented an application-independent collaboration manager, called Collagen, based on the SharedPlan theory of discourse, and used it to build a software interface agent...
FTRTFT
1998
Springer
13 years 12 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
AISC
1998
Springer
13 years 12 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...