174 search results - page 8 / 35 » Learning to Reason with a Restricted View |
ENTCS
2010
13 years 7 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
A database view is a dynamic virtual table composed of the result set of a query, often executed over different underlying databases. The view maintenance problem concerns how a v...
ICALT
2003
IEEE
14 years 21 days ago
2003
IEEE
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...
FCS
2006
13 years 8 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...
ICONIP
2008
13 years 8 months ago
2008
Abstract. We present a biologically inspired vision system able to incrementally learn multiple visual categories by interactively presenting several hand-held objects. The overall...