Sciweavers

33 search results - page 3 / 7
» hicss 1994
Sort
View
54
Voted
HICSS
1994
IEEE
103views Biometrics» more  HICSS 1994»
15 years 1 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»
15 years 1 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»
15 years 1 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»
15 years 1 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