6016 search results - page 982 / 1204 » The semantics of graphical languages |
157
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...
197
click to vote
ECML
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we provide a study on the use of tree kernels to encode syntactic parsing information in natural language learning. In particular, we propose a new convolution kerne...
154
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software i...
200
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
The research on exception handling in Multi-Agent Systems has produced some advanced models to deal with `exceptional situations'. The expression `agent exception' is how...
145
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Both the multilingual aspects which characterize the (Semantic) Web and the demand for more easy-to-share forms of knowledge representation, being equally accessible by humans and ...