5465 search results - page 13 / 1093 » Assigning Types to Processes |
DBSEC
2010
13 years 9 months ago
2010
Abstract. In considering a problem in access control for scalable multimedia formats, we have developed new methods for constructing a key assignment scheme. Our first contribution...
CORR
1999
Springer
13 years 7 months ago
1999
Springer
In this paper we discuss cascaded MemoryBased grammatical relations assignment. In the rst stages of the cascade, we nd chunks of several types (NP,VP,ADJP,ADVP,PP) and label them...
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
Using a recently proposed model for combinatorial landscapes, Local Optima Networks (LON), we conduct a thorough analysis of two types of instances of the Quadratic Assignment Prob...
RECOMB
2004
Springer
14 years 7 months ago
2004
Springer
Nuclear magnetic resonance (NMR) spectroscopy allows scientists to study protein structure, dynamics and interactions in solution. A necessary first step for such applications is ...
SOSL
1993
13 years 11 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...