Sciweavers

1582 search results - page 243 / 317
» Qualitative Representation of Change
Sort
View
MM
2005
ACM
150views Multimedia» more  MM 2005»
14 years 2 months ago
Reading SCORM compliant multimedia courses using heterogeneous pervasive devices
The Sharable Content Object Reference Model (SCORM) provides some important representation for distance learning content and the learning behavior. In general, SCORM-Compliant lea...
Te-Hua Wang, Hsuan-Pu Chang, Yun-Long Sie, Kun-Han...
SMA
2005
ACM
191views Solid Modeling» more  SMA 2005»
14 years 2 months ago
Poisson shape interpolation
In this paper, we propose a novel shape interpolation approach based on Poisson equation. We formulate the trajectory problem of shape interpolation as solving Poisson equations d...
Dong Xu, Hongxin Zhang, Qing Wang, Hujun Bao
AIME
2005
Springer
14 years 2 months ago
Interactive Knowledge Validation in CBR for Decision Support in Medicine
Abstract. In most case-based reasoning (CBR) systems there has been little research done on validating new knowledge, specifically on how previous knowledge differs from current k...
Monica H. Ou, Geoff A. W. West, Mihai Lazarescu, C...
BIRTHDAY
2005
Springer
14 years 2 months ago
Towards Comprehensive Computational Models for Plan-Based Control of Autonomous Robots
In this paper we present an overview of recent developments in the plan-based control of autonomous robots. We identify computational principles that enable autonomous robots to a...
Michael Beetz
FSTTCS
2005
Springer
14 years 2 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...