Sciweavers

1057 search results - page 178 / 212
» its 1998
Sort
View
VLDB
1998
ACM
170views Database» more  VLDB 1998»
13 years 10 months ago
Advanced Data Processing in KRISYS: Modeling Concepts, Implementation Techniques, and Client/Server Issues
The increasing power of modern computers steadily opens up new application domains for advanced data processing such as engineering and knowledge-based applications. To meet their...
Stefan Deßloch, Theo Härder, Nelson Men...
ITS
1998
Springer
107views Multimedia» more  ITS 1998»
14 years 2 months ago
Toward a Unification of Human-Computer Learning and Tutoring
We define a learning tutor as being an intelligent agent that learns from human tutors and then tutors human learners. The notion of a learning tutor provides a conceptual framewor...
Henry Hamburger, Gheorghe Tecuci
ITS
1998
Springer
213views Multimedia» more  ITS 1998»
14 years 2 months ago
Component-Based Construction of a Science Learning Space
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...
Kenneth R. Koedinger, Daniel D. Suthers, Kenneth D...
TKDE
1998
122views more  TKDE 1998»
13 years 10 months ago
The Design and Implementation of Seeded Trees: An Efficient Method for Spatial Joins
—Existing methods for spatial joins require pre-existing spatial indices or other precomputation, but such approaches are inefficient and limited in generality. Operand data sets...
Ming-Ling Lo, Chinya V. Ravishankar
TPHOL
1997
IEEE
14 years 2 months ago
An Isabelle-Based Theorem Prover for VDM-SL
This note lists references which address –in some way or another– the problems relating to formal manipulation of logical expressions where terms can fail to denote. Reference...
Sten Agerholm, Jacob Frost