4689 search results - page 617 / 938 » Analysis and modeling of control tasks in dynamic systems |
210
click to vote
SUTC
2006
IEEE
16 years 24 days ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...
201
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
196
click to vote
ISPDC
2005
IEEE
16 years 11 days ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
176
click to vote
GECCO
2007
Springer
16 years 28 days ago
2007
Springer
Biologically inspired designs can improve the design of artificial agents. In this paper we explain and explore the role of directional light sensors from an Evolutionary Robotic...
203
Voted
WIOPT
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—This paper considers maximizing throughput utility in a multi-user network with partially observable Markov ON/OFF channels. Instantaneous channel states are never known...