7121 search results - page 1200 / 1425 » Functions as Session-Typed Processes |
158
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...
183
click to vote
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--We explore the idea of applying machine learning techniques to automatically infer risk-adaptive policies to reconfigure a network security architecture when the context ...
140
click to vote
SAFECOMP
2010
Springer
15 years 2 months ago
2010
Springer
Formal verification efforts in the area of robotics are still comparatively scarce. In this paper we report on our experiences with one such effort, which was concerned with design...
172
Voted
VLSID
2010
IEEE
15 years 2 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
178
Voted
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract-- We consider problems where multiple agents cooperate to control their individual state so as to optimize a common objective while communicating with each other to exchan...