8008 search results - page 1236 / 1602 » Computer-Aided Language Processing |
114
Voted
ANCS
2007
ACM
15 years 7 months ago
2007
ACM
Network processors provide an economical programmable platform to handle the high throughput and frame rates of modern and next-generation communication systems. However, these pl...
140
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper th...
142
Voted
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We investigate streaming evaluation of filters on XML documents, evaluated both at the root node and at an arbitrary node. Motivated by applications in protocol processin...
127
Voted
HOTOS
2007
IEEE
15 years 7 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
COOPIS
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. This paper addresses the issue of simplifying natural language texts in order to ease the task of accessing factual information contained in them. We define the notion of...