Sciweavers

33 search results - page 3 / 7
» hicss 1994
Sort
View
HICSS
1994
IEEE
101views Biometrics» more  HICSS 1994»
13 years 11 months ago
Distributed Scheduling of Unstructured Collective Communication on the CM-5
Jhy-Chun Wang, Tseng-Hui Lin, Sanjay Ranka
HICSS
1994
IEEE
103views Biometrics» more  HICSS 1994»
13 years 11 months ago
Scalable Data Parallel Implementations of Object Recognition on Connection Machine CM-
Ashfaq A. Khokhar, Viktor K. Prasanna, Cho-Li Wang
HICSS
1994
IEEE
82views Biometrics» more  HICSS 1994»
13 years 11 months ago
Experimental Implementation of Dynamic Access Ordering
Sally A. McKee, Robert H. Klenke, Andrew J. Schwab...
HICSS
1994
IEEE
117views Biometrics» more  HICSS 1994»
13 years 11 months ago
Providing for Organizational Memory in Computer-Supported Meetings
Meeting memory features are poorly integrated into current group support systems (GSS). This paper discusses how to introduce meeting memory functionality into a GSS. The paper fi...
Gerhard Schwabe
HICSS
1994
IEEE
105views Biometrics» more  HICSS 1994»
13 years 11 months ago
A Methodology for Equational Reasoning
1 This paper presents a methodology to guide equational reasoning in a goal directed way. Suggested by rippling methods developed in the eld of inductive theorem proving we use att...
Jürgen Cleve, Dieter Hutter