1255 search results - page 30 / 251 » A Proof Environment for the Development of Group Communicati... |
APCHI
2008
IEEE
14 years 3 months ago
2008
IEEE
Providing healthcare services to patients and elderly people has been an emerging application domain in ubiquitous computing technologies. The current trend toward long-term health...
LCTRTS
2000
Springer
14 years 10 days ago
2000
Springer
Multimedia communication systems require not only high-performance computer hardware and highspeed networks, but also a buffer management mechanism to process voluminous data effi...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
CSCWD
2009
Springer
14 years 3 months ago
2009
Springer
This paper presents a system called E-Breaker for supporting small and medium size group authoring of any kind of documents following a regular structure. The system supports a de...
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In the world of OTIS, an online Internet School for occupational therapists, students from four European countries were encouraged to work collaboratively through problem based le...