5326 search results - page 43 / 1066 » On what we can ensure |
ATVA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
99
Voted
GI
2007
Springer
15 years 4 months ago
2007
Springer
: Discussing ubiquitous computing, the role of space is not quite clear. To get an understanding of the thinking on space, the main concepts of absolute, relational, and social spa...
102
Voted
SYNTHESE
2011
14 years 7 months ago
2011
Dynamic epistemic logics describe the epistemic consequences of actions. Public announcement logic, in particular, describe the consequences of public announcements. As such, thes...
ASIACRYPT
2000
Springer
15 years 5 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...
ICML
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce a learning framework that combines elements of the well-known PAC and mistake-bound models. The KWIK (knows what it knows) framework was designed particularly for its...