113 search results - page 4 / 23 » A Logic Prover for Text Processing |
CORR
2011
Springer
13 years 9 days ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
EMNLP
2011
12 years 5 months ago
2011
IFSA
2007
Springer
13 years 11 months ago
2007
Springer
The main objective of an information retrieval system is to be effective in providing a user with relevant information in response to a query. However, especially given the inform...
MKM
2004
Springer
13 years 10 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
JDCTA
2008
13 years 5 months ago
2008
Access control includes physical and logical access control. Physical access control protects the damage, theft and losing of assess. In this paper, we propose the method to prote...