2907 search results - page 386 / 582 » Presentations of Structures in Admissible Sets |
180
click to vote
COOPIS
1997
IEEE
15 years 10 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
181
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Sparse Matrix-Vector multiplication (SpMV) is a very challenging computational kernel, since its performance depends greatly on both the input matrix and the underlying architectur...
206
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Non-freely generated data types are widely used in case studies carried out in the theorem prover KIV. The most common examples are stores, sets and arrays. We present an...
163
click to vote
LREC
2008
2008
Evaluating the Ontology underlying sMail - the Conceptual Framework for Semantic Email Communication
15 years 8 months ago
The lack of structure in the content of email messages makes it very hard for data channelled between the sender and the recipient to be correctly interpreted and acted upon. As a...
138
click to vote
ACL
2004
15 years 8 months ago
2004
In this paper we present a methodology for extracting subcategorisation frames based on an automatic LFG f-structure annotation algorithm Penn-II Treebank. We extract abstract syn...