653 search results - page 43 / 131 » Implications of a Data Structure Consistency Checking System |
APSEC
2000
IEEE
15 years 3 months ago
2000
IEEE
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
POPL
2000
ACM
15 years 3 months ago
2000
ACM
We introduce a language for creating and manipulating certificates, that is, digitally signed data based on public key cryptography, and a system for revoking certificates. Our ap...
CSDA
2007
14 years 11 months ago
2007
A linear multivariate measurement error model AX = B is considered. The errors in A B are row-wise finite dependent, and within each row, the errors may be correlated. Some of th...
102
click to vote
PKDD
1999
Springer
15 years 4 months ago
1999
Springer
This paper reports on the application of the Strongly Typed Evolutionary Programming System STEPS to the PTE2 challenge, which consists of predicting the carcinogenic activity of...
140
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper introduces a new neural network language model (NNLM) based on word clustering to structure the output vocabulary: Structured Output Layer NNLM. This model is able to h...