Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
668
Separating key management from file system security
, 1999
"... No secure network file system has ever grown to span the In-ternet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the In-ternet, any particular mechanism a file system employs to manage keys will fail to support many types of use. We propose ..."
Abstract
-
Cited by 229 (28 self)
- Add to MetaCart
No secure network file system has ever grown to span the In-ternet. Existing systems all lack adequate key management for security at a global scale. Given the diversity of the In-ternet, any particular mechanism a file system employs to manage keys will fail to support many types of use. We
The origins of telicity
, 1998
"... The distinction between telic and atelic predicates has been described in terms of the algebraic prop-erties of their meaning since the early days of model-theoretic semantics. This perspective was in-spired by Aristotle’s discussion of types of actions that do or do not take time to be completed1 w ..."
Abstract
-
Cited by 208 (5 self)
- Add to MetaCart
The distinction between telic and atelic predicates has been described in terms of the algebraic prop-erties of their meaning since the early days of model-theoretic semantics. This perspective was in-spired by Aristotle’s discussion of types of actions that do or do not take time to be completed1
Physicochemical Prop r
"... Soft wheat (Triticum aestivum L.) quality tests (millin (amylose concentration, X-ray diffractograms, th determined for eight granule-bound starch synthase background. Lines carrying two null alleles showed r single null and wild-type lines. Milling and baking (triple null) and the other genotypes. ..."
Abstract
- Add to MetaCart
Soft wheat (Triticum aestivum L.) quality tests (millin (amylose concentration, X-ray diffractograms, th determined for eight granule-bound starch synthase background. Lines carrying two null alleles showed r single null and wild-type lines. Milling and baking (triple null) and the other genotypes
Check True. True: Prop
, 2008
"... These notes provide a quick introduction to the Coq system and show how it can be used to define logical concepts and functions and reason about them. It is designed as a tutorial, so that readers can quickly start their own experiments, learning only a few of the capabilities of the system. A much ..."
Abstract
- Add to MetaCart
and limited forms of computations are provided for these functions. The first thing you need to know is how you can check whether a formula is wellformed. The command is called Check. Here are a few examples, which use a few of the basic objects and types of the system.
Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop
, 1994
"... . This paper illustrates the application of abstract compilation using multiple incarnations of the domain Prop in deriving type dependencies for logic programs. We illustrate how dependencies can be derived in the presence of both monomorphic and polymorphic type information. Type dependencies gene ..."
Abstract
-
Cited by 40 (9 self)
- Add to MetaCart
. This paper illustrates the application of abstract compilation using multiple incarnations of the domain Prop in deriving type dependencies for logic programs. We illustrate how dependencies can be derived in the presence of both monomorphic and polymorphic type information. Type dependencies
Using Typed Lambda Calculus to Implement Formal Systems on a Machine
- Journal of Automated Reasoning
, 1992
"... this paper and the LF. In particular the idea of having an operator T : Prop ! Type appears already in De Bruijn's earlier work, as does the idea of having several judgements. The paper [24] describes the basic features of the LF. In this paper we are going to provide a broader illustration of ..."
Abstract
-
Cited by 93 (16 self)
- Add to MetaCart
this paper and the LF. In particular the idea of having an operator T : Prop ! Type appears already in De Bruijn's earlier work, as does the idea of having several judgements. The paper [24] describes the basic features of the LF. In this paper we are going to provide a broader illustration
PropBank: Semantics of New Predicate Types
"... This research focuses on expanding PropBank, a corpus annotated with predicate argument structures, with new predicate types; namely, noun, adjective and complex predicates, such as Light Verb Constructions. This effort is in part inspired by a sister project to PropBank, the Abstract Meaning Repres ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
This research focuses on expanding PropBank, a corpus annotated with predicate argument structures, with new predicate types; namely, noun, adjective and complex predicates, such as Light Verb Constructions. This effort is in part inspired by a sister project to PropBank, the Abstract Meaning
A pilot Arabic PropBank
- In Proceedings of LREC’08
, 2008
"... In this paper, we present the details of creating a pilot Arabic proposition bank (Propbank). Propbanks exist for both English and Chinese. However the morphological and syntactic expression of linguistic phenomena in Arabic yield a very different type of process in creating an Arabic propbank. Henc ..."
Abstract
-
Cited by 9 (5 self)
- Add to MetaCart
In this paper, we present the details of creating a pilot Arabic proposition bank (Propbank). Propbanks exist for both English and Chinese. However the morphological and syntactic expression of linguistic phenomena in Arabic yield a very different type of process in creating an Arabic propbank
1 Working with Children and Props: Two Adolescence User Research Cases with Props
"... Props have been used in all phases of user research, but their influences on collected data have not been thoroughly discussed. In this paper, three prop characteristics, likeness, visibility and tangibility, and configurability are identified from literature review based on different roles of props ..."
Abstract
- Add to MetaCart
, MonkeySmart! and Bike Interviews, are presented to exemplify research activities. Discussion of each project identifies (1) the types of information, either narrative or paradigmatic, generated with props, and useful for design practitioners, and (2) correlations between prop characteristics
Results 1 - 10
of
668
