5550 search results - page 95 / 1110 » Different Approaches to Proof Systems |
146
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Many programs operate reactively, patiently waiting for user input, subsequently running for a while producing output, and eventually returning to a state where they are ready to ...
157
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
175
click to vote
CICLING
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In this paper, we describe a new unsupervised sentence boundary detection system and present a comparative study evaluating its performance against different systems foun...
180
click to vote
ACL
2006
15 years 7 months ago
2006
This paper proposes a knowledge representation model and a logic proving setting with axioms on demand successfully used for recognizing textual entailments. It also details a lex...
172
click to vote
WSC
2004
15 years 7 months ago
2004
Building computational models of real world systems usually requires the interaction of decision modules and simulation modules. Given different models and algorithms, the major h...