Sciweavers

836 search results - page 119 / 168
» An Object Semantic Model of SOFL
Sort
View
RSFDGRC
1999
Springer
117views Data Mining» more  RSFDGRC 1999»
14 years 2 months ago
A Generalized Decision Logic in Interval-Set-Valued Information Tables
Abstract. A generalized decision logic in interval-set-valued information tables is introduced, which is an extension of decision logic studied by Pawlak. Each object in an interva...
Y. Y. Yao, Qing Liu
DL
1998
Springer
120views Digital Library» more  DL 1998»
14 years 2 months ago
Conjunctive Constraint Mapping for Data Translation
In this paper we present a mechanism for translating information in heterogeneous digital library environments. We model information as a set of conjunctive constraints that are s...
Kevin Chen-Chuan Chang, Hector Garcia-Molina
ZUM
1998
Springer
111views Formal Methods» more  ZUM 1998»
14 years 2 months ago
Combining Specification Techniques for Processes, Data and Time
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
Ernst-Rüdiger Olderog
IDMS
1997
Springer
144views Multimedia» more  IDMS 1997»
14 years 2 months ago
Achieving Networked Virtual Environments Interoperability
Abstract. The interoperability between heterogeneous distributed virtual environments is one of the main problem Virtual Reality will have to face in the very close future. This ar...
Michel Soto, Hubert Lê Van Gông
HICSS
1994
IEEE
117views Biometrics» more  HICSS 1994»
14 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