3468 search results - page 635 / 694 » An open logical framework |
159
click to vote
JUCS
2010
14 years 11 months ago
2010
: Although a database view embodies partial information about the state of the main schema, the state of the view schema is a quotient (and not a subset) of the state of the main s...
181
click to vote
KI
2010
Springer
14 years 11 months ago
2010
Springer
We present a framework for incorporating perception-induced beliefs into the knowledge base of a rational agent. Normally, the agent accepts the propositional content of perception...
228
click to vote
TRETS
2010
14 years 10 months ago
2010
A ring oscillator based true-random number generator design (Rings design) was introduced in [1]. The design was rigorously analyzed under a mathematical model and its performance...
158
click to vote
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
265
Voted
AAAI
2012
13 years 6 months ago
2012
Goal-driven autonomy (GDA) is a conceptual model for creating an autonomous agent that monitors a set of expectations during plan execution, detects when discrepancies occur, buil...