Sciweavers

3281 search results - page 555 / 657
» Bases for parametrized iterativity
Sort
View
ITS
1998
Springer
139views Multimedia» more  ITS 1998»
15 years 5 months ago
Habitable 3D Learning Environments for Situated Learning
The growing emphasis on learner-centered education focuses on intrinsically motivated learning via engaging problem-solving activities. Habitable 3D learning environments, in which...
William H. Bares, Luke S. Zettlemoyer, James C. Le...
INFOCOM
1997
IEEE
15 years 5 months ago
Bulk Multicast Transport Protocol
BMTP offers rate controlled multicast with reliability, high throughput, and support for large numbers of receivers. A multicast sender needs feedback from receivers to recover fr...
Robert Morris
IPPS
1997
IEEE
15 years 5 months ago
Time-Stamping Algorithms for Parallelization of Loops at Run-Time
In this paper, we present two new run-time algorithms for the parallelization of loops that have indirect access patterns. The algorithms can handle any type of loop-carried depen...
Cheng-Zhong Xu, Vipin Chaudhary
KDD
1997
ACM
221views Data Mining» more  KDD 1997»
15 years 5 months ago
MineSet: An Integrated System for Data Mining
MineSetTM , Silicon Graphics’ interactive system for data mining, integrates three powerful technologies: database access, analytical data mining, and data visualization. It sup...
Clifford Brunk, James Kelly, Ron Kohavi
123
Voted
SIGSOFT
1996
ACM
15 years 5 months ago
Model Checking Large Software Specifications
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
Richard J. Anderson, Paul Beame, Steve Burns, Will...