2661 search results - page 281 / 533 » Model Checking Performability Properties |
114
Voted
CBSE
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
157
Voted
NCI
2004
15 years 2 months ago
2004
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...
95
Voted
CMA
2010
14 years 10 months ago
2010
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
The taking of turns to speak is an intrinsic property of conversation. It is expected that models of taking turns, providing a prior distribution over conversational form, can red...
90
Voted
ICIP
2005
IEEE
16 years 2 months ago
2005
IEEE
A new spatio-temporal model for simulating the bottomup visual attention is proposed. It has been built from numerous important properties of the Human Visual System (HVS). This p...