Sciweavers

9841 search results - page 444 / 1969

» Task-Centred Information Management

163

KES
1997
Springer

111views Information Technology» more KES 1997»

Formal verification of the correctness in hybrid expert systems

15 years 11 months ago

Formal verification of the correctness in hybrid expert systems

Download www4.comp.polyu.edu.hk

Simon C. K. Shiu, James N. K. Liu, Daniel S. Yeung

claim paper

Read More »

140

OOIS
1997
Springer

129views Information Technology» more OOIS 1997»

Assessing Inheritance for the Multiple Descendant Redefinition Problem in OO Systems

15 years 11 months ago

Assessing Inheritance for the Multiple Descendant Redefinition Problem in OO Systems

Download researchrepository.napier.ac.uk

Philippe Li-Thaio-Té, Jessie B. Kennedy, Jo...

claim paper

Read More »

139

CAISE
1994
Springer

94views Information Technology» more CAISE 1994»

Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems

15 years 11 months ago

Designing a User-Oriented Query Modification Facility in Object-Oriented Database Systems

Download lsirpeople.epfl.ch

Karl Aberer, Wolfgang Klas, Antonio L. Furtado

claim paper

Read More »

142

CIKM
1993
Springer

96views Information Technology» more CIKM 1993»

PALKA: A System for Lexical Knowledge Acquisition

15 years 11 months ago

PALKA: A System for Lexical Knowledge Acquisition

Download www.ixlab.ru

Jun-Tae Kim, Dan I. Moldovan

claim paper

Read More »

157

CIKM
1994
Springer

131views Information Technology» more CIKM 1994»

Finding Interesting Rules from Large Sets of Discovered Association Rules

15 years 11 months ago

Finding Interesting Rules from Large Sets of Discovered Association Rules

Download www.lans.ece.utexas.edu

Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen,...

claim paper

Read More »

« Prev « First page 444 / 1969 Last » Next »