Sciweavers

1187 search results - page 32 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
CORR
2011
Springer
148views Education» more  CORR 2011»
13 years 7 days ago
Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)
extended abstract we report on work in progress carried out within the framework of the NWO project Realising Optimal Sharing. Instead of discussing optimal reduction in the λ-cal...
Jan Rochel, Clemens Grabmayer
SKG
2006
IEEE
14 years 2 months ago
An Extended OCSP Protocol for Grid CA Cross-certification
In grid environment, there are many administrative domains, each domain has its own CA, and entities in different domains need authentication when accessing each other. The OCSP (...
Shaomin Zhang, Huitao Gong, Baoyi Wang
CVPR
2010
IEEE
14 years 4 months ago
Fast Polygonal Integration and Its Application in Extending Haar-like Features to Improve Object Detection
The integral image is typically used for fast integrating a function over a rectangular region in an image. We propose a method that extends the integral image to do fast integrat...
Minh-Tri Pham, Viet-Dung Hoang, Tat-Jen Cham, Yang...
DALT
2007
Springer
14 years 12 days ago
Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation
We present a novel approach to knowledge-based automated one-shot multi-issue bilateral negotiation handling, in a homogeneous setting, both numerical features and non-numerical on...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
PAAMS
2010
Springer
14 years 1 months ago
Enhanced Deliberation in BDI-Modelled Agents
Applications that operate in highly dynamic environments must deal with real-time changes of circumstances in order to be consistent and coherent. In this work, we propose an exten...
Fernando Koch, Frank Dignum