Sciweavers

2379 search results - page 327 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
VRML
2010
ACM
13 years 12 months ago
Cognitive scaffolding in Web3D learning systems: a case study for form and structure
In this paper, we describe a case study in usability engineering for Web3D learning systems and introduce a new step to the typical methods of the usability design. Pedagogical ap...
Felipe Bacim, Nicholas F. Polys, Jian Chen, Mehdi ...
JIB
2007
95views more  JIB 2007»
13 years 7 months ago
Integration of constraints documented in SBML, SBO, and the SBML Manual facilitates validation of biological models
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...
Allyson L. Lister, Matthew R. Pocock, Anil Wipat
ICIP
2005
IEEE
14 years 9 months ago
Multi-view image coding using 3-D voxel models
We propose a multi-view image coding system in 3-D space based on an improved volumetric 3-D reconstruction. Unlike existing multi-view image coding schemes, in which the 3D scene ...
Yongying Gao, Hayder Radha
SEFM
2005
IEEE
14 years 1 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
WOSP
2004
ACM
14 years 1 months ago
Experimenting different software architectures performance techniques: a case study
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
Simonetta Balsamo, Moreno Marzolla, Antinisca Di M...