1113 search results - page 23 / 223 » Counter Systems for Data Logics |
166
click to vote
COMPASS
1994
15 years 8 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
129
click to vote
INAP
2001
Springer
15 years 8 months ago
2001
Springer
Universidade de ´Evora’s Integrated Information System (SIIUE) aims at representing the entire universe of concepts useful for the management and day-to-day operation of the Or...
151
click to vote
ACL
2006
15 years 5 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...
132
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
130
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— P2P file-sharing systems have indexes, which users search to find locations of desired titles. In the index poisoning attack, the attacker inserts massive numbers of bogus re...