1636 search results - page 74 / 328 » Reasoning About Quantum Systems |
173
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract-- This paper presents a novel framework for integrating fundamental tasks in robotic navigation through a statistical inference procedure. A probabilistic model that joint...
174
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
162
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
161
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
170
click to vote
ECBS
2008
IEEE
15 years 8 months ago
2008
IEEE
Large and complex software systems require expressive notations for representing their software architecture. In this context Architecture Description Languages (ADLs) can be used...