1187 search results - page 217 / 238 » Computation in Extended Argumentation Frameworks |
LFCS
2007
Springer
14 years 3 months ago
2007
Springer
act Completion (Full Version) Guillaume Burel Claude Kirchner August 6, 2007 Deduction Modulo implements Poincar´e’s principle by identifying deduction and computation as diff...
PKC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Yao’s classical millionaires’ problem is about securely determining whether x > y, given two input values x, y, which are held as private inputs by two parties, re...
CGI
2006
IEEE
14 years 3 months ago
2006
IEEE
It has been technically challenging to effectively model and simulate elastic deformation of spline-based, thin-shell objects of complicated topology. This is primarily because tra...
PVG
2003
IEEE
14 years 3 months ago
2003
IEEE
While commodity computing and graphics hardware has increased in capacity and dropped in cost, it is still quite difficult to make effective use of such systems for general-purpos...
COMGEO
2010
ACM
14 years 2 months ago
2010
ACM
Many producers of geographic information are now disseminating their data using open web service protocols, notably those published by the Open Geospatial Consortium. There are ma...