Sciweavers

4839 search results - page 333 / 968
» Providing SCORM with adaptivity
Sort
View
ICAPR
2001
Springer
15 years 11 months ago
Image Retrieval Using a Hierarchy of Clusters
The goal of this paper is to describe an efficient procedure for color-based image retrieval. The proposed procedure consists of two stages. First, the image data set is hierarchi...
Daniela Stan, Ishwar K. Sethi
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
15 years 11 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
PG
2000
IEEE
15 years 11 months ago
Interactive Simulation of Surgical Cuts
We present a framework for the interactive simulation of surgical cuts such as being practiced in surgical treatment. Unlike most existing methods our framework is based on tetrah...
Daniel Bielser, Markus H. Gross
VISUALIZATION
2000
IEEE
15 years 11 months ago
Multi-resolution dynamic meshes with arbitrary deformations
Multi-resolution techniques and models have been shown to be effective for the display and transmission of large static geometric object. Dynamic environments with internally defo...
Ariel Shamir, Chandrajit L. Bajaj, Valerio Pascucc...
ASPLOS
2000
ACM
15 years 11 months ago
OceanStore: An Architecture for Global-Scale Persistent Storage
OceanStore is a utility infrastructure designed to span the globe and provide continuous access to persistent information. Since this infrastructure is comprised of untrusted serv...
John Kubiatowicz, David Bindel, Yan Chen, Steven E...