1188 search results - page 147 / 238 » Testing Semantics: Connecting Processes and Process Logics |
165
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
SIMD (single instruction multiple data)-type processors have been found very efficient in image processing applications, because their repetitive structure is able to exploit the...
135
click to vote
LREC
2010
15 years 5 months ago
2010
This paper discusses our ongoing work on constructing an annotated corpus of children's stories for further studies on the linguistic, computational, and cognitive aspects of...
146
click to vote
CN
2006
15 years 4 months ago
2006
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
141
click to vote
IMCSIT
2010
14 years 11 months ago
2010
In this paper, we have introduced a hierarchical object categorization method with automatic feature selection. A hierarchy obtained by natural similarities and properties is learn...
144
click to vote
ICDT
2010
ACM
15 years 8 months ago
2010
ACM
Relational data exchange deals with translating a relational database instance over some source schema into a relational database instance over some target schema, according to a ...