5465 search results - page 224 / 1093 » Assigning Types to Processes |
117
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
121
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
136
click to vote
SFP
2004
15 years 5 months ago
2004
Abstract: Generic programming can bring important benefits to software engineering. In particular, it reduces the burden of verification, since generic proofs can be instantiated a...
131
click to vote
IJDMB
2006
15 years 3 months ago
2006
: Biomedical data sets often have mixed categorical and numerical types, where the former represent semantic information on the objects and the latter represent experimental result...
115
click to vote
JFP
2006
15 years 3 months ago
2006
A part of a query that will never contribute data to the query answer should be regarded as an error. This principle has been recently accepted into mainstream XML query languages...