Sciweavers

1424 search results - page 164 / 285
» Modeling A Control System For Organizational Processes
Sort
View
127
Voted
FDL
2008
IEEE
15 years 3 months ago
MARTE-based Design of a Multimedia Application and Formal Analysis
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
Adolf Abdallah, Abdoulaye Gamatié, Jean-Luc...
124
Voted
SASO
2009
IEEE
15 years 10 months ago
Self-Organization of Creole Community in a Scale-Free Network
Creolization is a self-organization process of new language community. Thus far, a simulation study of the emergence of creoles has been reported in a mathematical framework. In t...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo
CP
2001
Springer
15 years 8 months ago
A Temporal Concurrent Constraint Programming Calculus
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...
Catuscia Palamidessi, Frank D. Valencia
HYBRID
2007
Springer
15 years 9 months ago
Optimal Switches in Multi-inventory Systems
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
Dario Bauso
140
Voted
ETRA
2008
ACM
120views Biometrics» more  ETRA 2008»
15 years 5 months ago
Eye movement prediction by Kalman filter with integrated linear horizontal oculomotor plant mechanical model
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
Oleg Komogortsev, Javed I. Khan