5086 search results - page 376 / 1018 » The Power of Comparative Reasoning |
140
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We present new careful semantics within Dung’s theory of argumentation. Under such careful semantics, two arguments cannot belong to the same extension whenever one of ...
179
click to vote
LPNMR
2004
Springer
16 years 3 days ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...
145
click to vote
FC
2003
Springer
15 years 12 months ago
2003
Springer
Decentralized anonymity infrastructures are still not in wide use today. While there are technical barriers to a secure robust design, our lack of understanding of the incentives t...
170
click to vote
TSD
2001
Springer
15 years 11 months ago
2001
Springer
The problem of automatic text segmentation is subcategorized into two different problems: thematic segmentation into rather large topically selfcontained sections and splitting int...
157
click to vote
EDCC
1994
Springer
15 years 10 months ago
1994
Springer
A new control flow checking scheme, based on assigned-signature checking by a watchdog processor, is presented. This scheme is suitable for a multitasking, multiprocessor environme...