5378 search results - page 192 / 1076 » Base Logics in Argumentation |
145
click to vote
CSL
2009
Springer
16 years 1 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
145
click to vote
OTM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
184
click to vote
IIWAS
2004
15 years 8 months ago
2004
Group signature schemes permit a group member signing on messages anonymously and unlinkably on behalf of a group. The anonymity can be revoked when arguments occurred. This paper...
162
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper investigates multimedia quality fairness in wireless LAN environments where channel are error-prone due to mobility and fading. The experimental results show that using...
178
click to vote
EMNLP
2006
15 years 8 months ago
2006
This paper demonstrates two methods to improve the performance of instancebased learning (IBL) algorithms for the problem of Semantic Role Labeling (SRL). Two IBL algorithms are u...