1036 search results - page 12 / 208 » Natural Narrowing for General Term Rewriting Systems |
151
click to vote
JAR
2006
15 years 6 months ago
2006
To simplify the task of proving termination and AC-termination of term rewriting systems, elimination transformations have been vigorously studied since the 1990's. Dummy elim...
179
click to vote
ENTCS
2008
15 years 6 months ago
2008
Reo is a language for coordinating autonomous components in distributed environments. Coordination in Reo is performed by circuit-like connectors, which are constructed from primi...
153
click to vote
CIKM
2003
Springer
15 years 11 months ago
2003
Springer
We describe a system for extracting mentions of terms such as company and product names, in a large and noisy corpus of documents, such as the World Wide Web. Since natural langua...
162
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
125
click to vote
EMNLP
2004
15 years 7 months ago
2004
A method for automatic plot analysis of narrative texts that uses components of both traditional symbolic analysis of natural language and statistical machine-learning is presente...