Sciweavers

1769 search results - page 305 / 354
» An implementation of argument based discussion
Sort
View
NGC
1998
Springer
115views Communications» more  NGC 1998»
13 years 9 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
NGC
2002
Springer
13 years 9 months ago
Supporting Cross-Cultural Communication with a Large-Screen System
Abstract As opportunities for international collaboration and crosscultural communication among people from heterogeneous cultures increase, the importance of electronic communicat...
Masayuki Okamoto, Katherine Isbister, Hideyuki Nak...
PE
2002
Springer
118views Optimization» more  PE 2002»
13 years 9 months ago
Procedures and tools for analysis of network traffic measurements
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...
Costas Courcoubetis, Vasilios A. Siris
SOPR
1998
80views more  SOPR 1998»
13 years 9 months ago
Entry strategies into the process improvement initiative
One of the more important steps in starting a process improvement initiative is to determine the appropriate tasking and the scope of the process improvement program. There is gre...
Tim C. Kasse, Patricia A. Mcquaid
TKDE
1998
134views more  TKDE 1998»
13 years 9 months ago
Unified Data Model for Representing Multimedia, Timeline, and Simulation Data
—This paper describes a unified data model that represents multimedia, timeline, and simulation data utilizing a single set of related data modeling constructs. A uniform model f...
John D. N. Dionisio, Alfonso F. Cardenas