Sciweavers

14854 search results - page 2598 / 2971
» Evaluation of teleconsultation systems
Sort
View
KBSE
1997
IEEE
15 years 11 months ago
NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
Johann Schumann, Bernd Fischer 0002
MICRO
1997
IEEE
82views Hardware» more  MICRO 1997»
15 years 11 months ago
Procedure Based Program Compression
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
Darko Kirovski, Johnson Kin, William H. Mangione-S...
TIME
1997
IEEE
15 years 11 months ago
On Effective Data Clustering in Bitemporal Databases
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...
Jong Soo Kim, Myoung-Ho Kim
HT
1997
ACM
15 years 11 months ago
Spatial Hypertext and the Practice of Information Triage
Information triage is the process of sorting through relevant materials, and organizing them to meet the needs of the task at hand. It is a practice that has become increasingly c...
Catherine C. Marshall, Frank M. Shipman III
IUI
1997
ACM
15 years 11 months ago
The Pedagogical Design Studio: Exploiting Artifact-Based Task Models for Constructivist Learning
Intelligentlearning environments that support constructivism shouldprovideactivelearningexperiencesthatarecustomized for individuallearners. To do so, they must determine learner ...
James C. Lester, Patrick J. Fitzgerald, Brian A. S...
« Prev « First page 2598 / 2971 Last » Next »