2036 search results - page 111 / 408 » A generic type-and-effect system |
109
click to vote
ACL
2012
13 years 3 months ago
2012
This paper introduces BIUTEE1 , an opensource system for recognizing textual entailment. Its main advantages are its ability to utilize various types of knowledge resources, and i...
100
click to vote
ICALT
2009
IEEE
15 years 7 months ago
2009
IEEE
While argumentation is highly important for humans in many different aspects of life, it is hard to teach large groups to argue. Classic face-to-face approaches, which have shown ...
ICAS
2009
IEEE
15 years 7 months ago
2009
IEEE
Recent years have seen a growing interest in autonomic computing, an approach to providing systems with self managing properties [1]. Autonomic computing aims to address the incre...
NCA
2008
IEEE
15 years 7 months ago
2008
IEEE
In environments like the Internet, faults follow unusual patterns, dictated by the combination of malicious attacks with accidental faults such as long communication delays caused...
93
Voted
IEEEARES
2007
IEEE
15 years 7 months ago
2007
IEEE
The use of one-way chains in authentication protocols is a technique of great importance which has many applications. Employing cryptographic techniques in the area of industrial ...