1634 search results - page 106 / 327 » Classifying Technical Terms |
ENTCS
2010
13 years 9 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...
LOGCOM
2008
13 years 9 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
AROBOTS
2002
13 years 8 months ago
2002
Automation of agricultural harvesting equipment in the near term appears both economically viable and technically feasible. This paper describes the Demeter system for automated h...
EMNLP
2010
13 years 7 months ago
2010
We present a simple, robust generation system which performs content selection and surface realization in a unified, domain-independent framework. In our approach, we break up the...
GROUP
2010
ACM
13 years 7 months ago
2010
ACM
Conflict and disruption are a part of everyday life, yet research in the home largely examines consensus and rituals. In this paper, we use Holmes and Rahe's categorization o...