Sciweavers

1524 search results - page 170 / 305
» Assessing Instructional Technology
Sort
View
BSN
2009
IEEE
120views Sensor Networks» more  BSN 2009»
15 years 10 months ago
Textile-Based Wearable Sensors for Assisting Sports Performance
—There is a need for wearable sensors to assess physiological signals and body kinematics during exercise. Such sensors need to be straightforward to use, and ideally the complet...
Shirley Coyle, Deirdre Morris, King Tong Lau, Derm...
VMCAI
2009
Springer
15 years 10 months ago
Model-Checking the Linux Virtual File System
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
Andy Galloway, Gerald Lüttgen, Jan Tobias M&u...
141
Voted
EDUTAINMENT
2009
Springer
15 years 10 months ago
Entertaining Education - Using Games-Based and Service-Oriented Learning to Improve STEM Education
This paper addresses the development of a computer game design and development curriculum at the authors’ institution. The basis for curriculum decisions, as well as comparison t...
Jon Preston, Briana Morrison
ISCIS
2009
Springer
15 years 10 months ago
Using 3D contours and their relations for cognitive vision and robotics
—In this work, we make use of 3D visual contours carrying geometric as well as appearance information. Between these contours, we define 3D relations that encode structural info...
Emre Baseski, Leon Bodenhagen, Nicolas Pugeault, S...
DOLAP
2009
ACM
15 years 10 months ago
View usability and safety for the answering of top-k queries via materialized views
In this paper, we investigate the problem of answering top-k queries via materialized views. We provide theoretical guarantees for the adequacy of a view to answer a top-k query, ...
Eftychia Baikousi, Panos Vassiliadis