2576 search results - page 345 / 516 » The Complexity of Zero Knowledge |
159
click to vote
CDC
2008
IEEE
16 years 22 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 ...
152
click to vote
CDC
2008
IEEE
16 years 22 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...
143
Voted
CEC
2008
IEEE
16 years 22 days ago
2008
IEEE
—The language game approach is widely adopted to study conventionalization of linguistic knowledge. Most of contemporary models concentrate on the dynamics of language games in r...
159
click to vote
IEEEARES
2008
IEEE
16 years 20 days ago
2008
IEEE
Existing undecidability proofs of checking secrecy of cryptographic protocols have the limitations of not considering protocols common in literature, which are in the form of comm...
155
click to vote
RTSS
2008
IEEE
16 years 19 days ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...