681 search results - page 78 / 137 » Combining Theorem Proving with Natural Language Processing |
ENTCS
2007
14 years 11 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
WWW
2007
ACM
16 years 16 days ago
2007
ACM
In this paper, we propose a novel Chinese word segmentation method which leverages the huge deposit of Web documents and search technology. It simultaneously solves ambiguous phra...
154
click to vote
IFL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
ICFP
2010
ACM
15 years 2 days ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
ACL
1998
15 years 1 months ago
1998
In this paper, we address the issue of syntagmatic expressions from a computational lexical semantic perspective. From a representational viewpoint, we argue for a hybrid approach...