670 search results - page 62 / 134 » Modeling generalized implicatures using non-monotonic logics |
119
click to vote
SASN
2005
ACM
15 years 5 months ago
2005
ACM
Pairwise key establishment is a fundamental service provided in secure sensor networks. However, due to resource constraints, establishing pairwise keys is not a trivial task. Rec...
107
click to vote
DAC
2007
ACM
16 years 25 days ago
2007
ACM
In the paper, we propose a new metric for the minimization of area in the generic problem of multiple constant multiplications, and demonstrate its effectiveness for digital FIR f...
148
click to vote
GIS
2010
ACM
14 years 6 months ago
2010
ACM
It is now common for video; real-time and collected, mobile and static, to be georeferenced and stored in large archives for users of expert systems to access and interact with. I...
DAC
2003
ACM
15 years 5 months ago
2003
ACM
Coverage estimation for model checking quantifies the completeness of a set of properties. We present an improved version of the algorithm of Hoskote et al. [7] that applies to a...
CADE
2005
Springer
16 years 5 days ago
2005
Springer
In many theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...