891 search results - page 60 / 179 » Towards Reasoning Pragmatics |
AAECC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Here we study a weakness of the RC4 Key Scheduling Algorithm (KSA) that has already been noted by Mantin and Mironov. Consider the RC4 permutation S of N (usually 256) by...
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
120
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We study the extension of context ontologies towards enhanced qualitative spatio-temporal representations and reasoning. Our goal is to model and extract events that are ...
124
click to vote
DLOG
1998
15 years 3 months ago
1998
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...
GIS
2010
ACM
14 years 12 months ago
2010
ACM
This paper outlines a vision for community-driven sensing of our environment. At its core, community sensing is a dynamic new form of mobile geosensor network. We believe that com...