Sciweavers

455 search results - page 57 / 91
» A Logical Account of NGSCB
Sort
View
BIOTECHNO
2008
IEEE
14 years 2 months ago
Mathematical Description of Biological Structures and Mechanisms
A new formalism and approach to describing cellular and molecular processes and structures is introduced, designed to support the creation of knowledge bases of molecular and cell...
H. Joel Jeffrey
DATE
2008
IEEE
92views Hardware» more  DATE 2008»
14 years 2 months ago
Latch Modeling for Statistical Timing Analysis
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
Sean X. Shi, Anand Ramalingam, Daifeng Wang, David...
DATE
2007
IEEE
85views Hardware» more  DATE 2007»
14 years 1 months ago
Timing simulation of interconnected AUTOSAR software-components
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
Matthias Krause, Oliver Bringmann, André He...
FUZZIEEE
2007
IEEE
14 years 1 months ago
Using the OLS Algorithm to Build Interpretable Rule Bases: An Application to a Depollution Problem
— One of the main advantages of fuzzy modeling is the ability to yield interpretable results. Amongst these modeling methods, the OLS algorithm is a mathematically robust techniq...
Sébastien Destercke, Serge Guillaume, Brigi...
AIED
2007
Springer
14 years 1 months ago
Fitting Spatial Ability into Intelligent Tutoring Systems Development
Building effective learning environments is an art that can only be perfected by a great deal of explorations involving the environments’ audience: the learners. This paper focus...
Nancy Milik, Antonija Mitrovic, Michael Grimley