1724 search results - page 114 / 345 » Abstract Interpreters for Free |
132
click to vote
ICC
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— In this paper, we propose optical wireless multipleinput multiple-output (OMIMO) with backward spatial filter (BSF) in diffuse channels. In the proposed system BSF is ...
154
click to vote
ICRA
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract— In this paper, we formalize the problem of barrier coverage, that is, the problem of preventing undetected intrusion in a particular region using robot sensors. We solv...
156
click to vote
ASIAN
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We present a reduction semantics for the LYSA calculus extended with session information, for modelling cryptographic protocols, and a static analysis for it. If a protoc...
169
click to vote
CEEMAS
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. Agent Communication Languages (ACLs) play a fundamental role in open multiagent systems where message exchange is the main if not the only way for agents to coordinate th...
147
click to vote
RTA
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We give a simple and direct proof that super-consistency implies cut elimination in deduction modulo. This proof can be seen as a simplification of the proof that super-...