Sciweavers

1209 search results - page 35 / 242
» Universal Algebra and Computer Science
Sort
View
AAAI
2008
15 years 2 months ago
Pareto Optimality in Abstract Argumentation
ptimality in Abstract Argumentation Iyad Rahwan 1 Faculty of Informatics, British University in Dubai P.O.Box 502216, Dubai, UAE 2 (Fellow) School of Informatics, University of Edi...
Iyad Rahwan, Kate Larson
ATAL
2008
Springer
15 years 1 months ago
Mechanism design for abstract argumentation
m Design for Abstract Argumentation Iyad Rahwan 1 (Fellow) School of Informatics, University of Edinburgh, Edinburgh EH8 9LE, UK 2 Faculty of Informatics, British University in Dub...
Iyad Rahwan, Kate Larson
APAL
1998
71views more  APAL 1998»
14 years 11 months ago
Splitting Theorems and the Jump Operator
We investigate the relationship of (jumps of) the degrees of splittings of a computably enumerable set and the degree of the set. We prove that there is a high computably enumerab...
Rodney G. Downey, Richard A. Shore
HICSS
2007
IEEE
80views Biometrics» more  HICSS 2007»
15 years 6 months ago
The Development of a University-Based Forensics Training Center as a Regional Outreach and Service Activity
This paper describes a university-based Forensics Training Center (FTC) established by a Department of Justice grant for the purpose of improving the ability of state and local la...
Rayford B. Vaughn, David A. Dampier
STACS
2007
Springer
15 years 5 months ago
A Calculus and Algebra for Distributed Data Management
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
Serge Abiteboul