Sciweavers

3545 search results - page 276 / 709
» Computational methods for case-cohort studies
Sort
View
CODES
2005
IEEE
16 years 10 days ago
Energy conscious online architecture adaptation for varying latency constraints in sensor network applications
Sensor network applications face continuously changing environments, which impose varying processing loads on the sensor node. This paper presents an online control method which a...
Sankalp Kallakuri, Alex Doboli
ISORC
2005
IEEE
16 years 9 days ago
RMMC Programming Model and Support Execution Engine in the TMO Programming Scheme
: While the conventional remote method invocation mechanism has been considered for a long time as the primary approach for facilitating interactions among real-time objects, a mul...
K. H. (Kane) Kim, Yuqing Li, Sheng Liu, Moon-hae K...
VISUAL
2005
Springer
16 years 5 days ago
Face Recognition Using Modular Bilinear Discriminant Analysis
We present a Modular Bilinear Disciminant Analysis (MBDA) approach for face recognition. A set of classifiers are trained independently on specific face regions, and different c...
Muriel Visani, Christophe Garcia, Jean-Michel Joli...
ISMAR
2003
IEEE
15 years 12 months ago
Evaluation of Calibration Procedures for Optical See-Through Head-Mounted Displays
Optical see-through head-mounted displays (HMDs) are less commonly used because they are difficult to accurately calibrate. In this article, we report a user study to compare the ...
Arthur Tang, Ji Zhou, Charles B. Owen
FM
2003
Springer
112views Formal Methods» more  FM 2003»
15 years 12 months ago
Structuring Retrenchments in B by Decomposition
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
Michael Poppleton, Richard Banach