681 search results - page 83 / 137 » Combining Theorem Proving with Natural Language Processing |
125
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...
163
click to vote
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
121
click to vote
CLEF
2009
Springer
14 years 11 months ago
2009
Springer
In this paper, we describe the TNO approach to the Finding Related Resources or linking task of VideoCLEF09. Our system consists of a weighted combination of off-theshelf and prop...
128
click to vote
KES
2004
Springer
15 years 7 months ago
2004
Springer
Artificial Intelligence algorithms can be divided into two groups according to the type of problems they solve. Knowledge-intensive domains contain explicit knowledge, whereas know...
112
click to vote
ICIP
2010
IEEE
14 years 12 months ago
2010
IEEE
Recently, patch-based denoising techniques have proved to be very effective. Indeed, they account for the correlations that exist among patches of natural images. Taking a variati...