Sciweavers

2379 search results - page 305 / 476
» Modeling, scheduling, and simulation of switched processing ...
Sort
View
IANDC
2006
117views more  IANDC 2006»
13 years 8 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
FDL
2007
IEEE
14 years 2 months ago
An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations
Abstract This paper proposes VHDL-AMS syntax extensions that enable descriptions of AMS systems with partial differential equations. We named the extended language VHDL-AMSP. An im...
Leran Wang, Chenxu Zhao, Tom J. Kazmierski
COGSCI
2007
109views more  COGSCI 2007»
13 years 8 months ago
Understanding the Emergence of Modularity in Neural Systems
: Modularity in the human brain remains a controversial issue, with disagreement over the nature of the modules that exist, and why, when and how they emerge. It is a natural assum...
John A. Bullinaria
AEI
1999
110views more  AEI 1999»
13 years 7 months ago
Self-tuning fuzzy controller design using genetic optimisation and neural network modelling
This article describes a new adaptive fuzzy logic control scheme. The proposed scheme is based on the structure of the self-tuning regulator and employs neural network and genetic...
Duc Truong Pham, Dervis Karaboga
HICSS
2007
IEEE
118views Biometrics» more  HICSS 2007»
14 years 2 months ago
Introducing Executable Product Models for the Service Industry
In these days, companies need highly flexible processes to deal with changing environments and competitors. Using traditional process models that have to be modeled in all detail...
Markus Kress, Joachim Melcher, Detlef Seese