4940 search results - page 801 / 988 » On the Complexity of Universal Programs |
159
click to vote
EICS
2009
ACM
16 years 29 days ago
2009
ACM
Adaptive groupware systems support changes in users’ locations, devices, roles and collaborative structure. Developing such systems is difficult due to the complex distributed ...
167
click to vote
FOSSACS
2010
Springer
16 years 28 days ago
2010
Springer
Abstract. The reachability analysis of recursive programs that communicate asynchronously over reliable Fifo channels calls for restrictions to ensure decidability. We extend here ...
165
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...
160
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— In this paper we demonstrate how one can reformulate the MPC problem for LPV systems to a series of mpLPs by a closed-loop minimax MPC algorithm based on dynamic progra...
176
click to vote
CEC
2008
IEEE
16 years 27 days ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...