Sciweavers

3984 search results - page 675 / 797
» A Model-Driven Transformation Method
Sort
View
CODES
2006
IEEE
15 years 10 months ago
Hardware assisted pre-emptive control flow checking for embedded processors to improve reliability
Reliability in embedded processors can be improved by control flow checking and such checking can be conducted using software or hardware. Proposed software-only approaches suffe...
Roshan G. Ragel, Sri Parameswaran
CRV
2006
IEEE
148views Robotics» more  CRV 2006»
15 years 10 months ago
Autonomous Learning of Object Appearances using Colour Contour Frames
In this paper we make use of the idea that a robot can autonomously discover objects and learn their appearances by poking and prodding at interesting parts of a scene. In order t...
Per-Erik Forssén, Anders Moe
EUROMICRO
2006
IEEE
15 years 10 months ago
A Modeling Paradigm for Integrated Modular Avionics Design
This paper presents the modeling paradigm for Integrated Modular Avionics Design MIMAD V0, which is an extensible component-oriented framework that enables high level models of sy...
Abdoulaye Gamatié, Christian Brunette, Roma...
HICSS
2006
IEEE
125views Biometrics» more  HICSS 2006»
15 years 10 months ago
Using Social Network Analysis to Test an IT-Enabled Business Process Reengineering Theory
After more than a decade of research in information technology-enabled business process reengineering (BPR), no clear theory explains the link between information technology (IT) ...
Nik R. Hassan, Tom C. Richards, Jack D. Becker
ICDM
2006
IEEE
145views Data Mining» more  ICDM 2006»
15 years 10 months ago
Stability Region Based Expectation Maximization for Model-based Clustering
In spite of the initialization problem, the ExpectationMaximization (EM) algorithm is widely used for estimating the parameters in several data mining related tasks. Most popular ...
Chandan K. Reddy, Hsiao-Dong Chiang, Bala Rajaratn...