299 search results - page 44 / 60 » Mechanizing common knowledge logic using COQ |
ECBS
2004
IEEE
13 years 11 months ago
2004
IEEE
Adoption of the most suitable Requirements Engineering (RE) process and selection of the most appropriate RE techniques for a given project is a common challenge faced by industry...
MTA
2006
13 years 7 months ago
2006
In this paper, an object-based video retrieval methodology for search in large, heterogeneous video collections is presented. The proposed approach employs a real-time, compressed-...
AAAI
2011
12 years 7 months ago
2011
Effective access to knowledge within large declarative memory stores is one challenge in the development and understanding of long-living, generally intelligent agents. We focus o...
TARK
2007
Springer
14 years 1 months ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we take advantage of the concepts developed for centralized module management, such as dynamic loading and unloading of modules, and show how they can be used to supp...