Sciweavers

2663 search results - page 201 / 533
» How to Choose a Timing Model
Sort
View
112
Voted
ICRA
2000
IEEE
105views Robotics» more  ICRA 2000»
15 years 9 months ago
Modeling and Throughput Prediction for Flexible Parts Feeders
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
Michael S. Branicky, Greg C. Causey, Roger D. Quin...
B
2007
Springer
15 years 10 months ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
Bill Stoddart, Dominique Cansell, Frank Zeyda
131
Voted
SBP
2010
Springer
15 years 8 months ago
A Dynamical Systems Model for Understanding Behavioral Interventions for Weight Loss
We propose a dynamical systems model that captures the daily fluctuations of human weight change, incorporating both physiological and psychological factors. The model consists of...
J.-Emeterio Navarro-Barrientos, Daniel E. Rivera, ...
EUSFLAT
2003
110views Fuzzy Logic» more  EUSFLAT 2003»
15 years 6 months ago
Fuzzy-neuro risk assessment of distributed real-time systems through formal and object-oriented systems modelling
The purpose of this paper is to advocate and encourage the application of fuzzy-neuro algorithms in the risk assessment of Distributed Real-Time (DRT) systems, where object-orient...
Atoosa P.-J. Thunem
IJON
2006
160views more  IJON 2006»
15 years 4 months ago
Attractor dynamics in a modular network model of the cerebral cortex
ional models of cortical associative memory often take a top-down approach. We have previously described such an abstract model with a hypercolumnar structure. Here we explore a s...
Mikael Lundqvist, Martin Rehn, Anders Lansner