5326 search results - page 148 / 1066 » On what we can ensure |
161
click to vote
ICCS
2007
Springer
16 years 17 days ago
2007
Springer
We briefly give an overview of Dynamic Epistemic Logic (DEL), mainly in semantic terms. We focus on the simplest of epistemic actions in DEL, called public announcements. We also ...
143
click to vote
ISSS
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper we discuss, what breakpoints in Source Level Emulationa are, how we can work with them and how we have to change the cicuit generated by high level synthesis to do s...
154
click to vote
ACL
2003
15 years 7 months ago
2003
This paper describes our preliminary attempt to automatically recognize zero adnominals, a subgroup of zero pronouns, in Japanese discourse. Based on the corpus study, we define a...
127
click to vote
CI
2007
15 years 6 months ago
2007
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...
152
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Abstract. We propose a novel mechanism for authentication of queries in a sensor network in case these queries are flooded. In our protocol, the base station appends an authenticat...