Sciweavers

1209 search results - page 35 / 242
» Universal Algebra and Computer Science
Sort
View
AAAI
2008
13 years 11 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
13 years 10 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»
13 years 8 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»
14 years 3 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
14 years 2 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