20441 search results - page 3648 / 4089 » Locally Computable Structures |
140
click to vote
CDC
2008
IEEE
15 years 11 months 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 ...
107
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
171
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper presents an eavesdropper-proof algorithm that is capable of fast generating symmetric (secret) keys. Instead of literally exchanging secret keys, both the sender and ...
152
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detect...
137
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...