5378 search results - page 717 / 1076 » Base Logics in Argumentation |
171
click to vote
FINTAL
2006
15 years 10 months ago
2006
Abstract. Discourse segmentation is the division of a text into minimal discourse segments, which form the leaves in the trees that are used to represent discourse structures. A de...
144
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
170
click to vote
SP
2000
IEEE
15 years 10 months ago
2000
IEEE
Tradeoffs are an important part of engineering security. Protocol security is important. So are efficiency and cost. This paper provides an early framework for handling such aspec...
180
click to vote
WAIM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. WWW caching necessitates advanced replacement policies that include sophisticated control logic and efficient contents management. This paper presents a constructive appr...
188
click to vote
AAAI
2008
15 years 9 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...