Sciweavers

413 search results - page 37 / 83
» Abstract Argumentation Scheme Frameworks
Sort
View
110
Voted
ASM
2003
ASM
15 years 7 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer
DASFAA
2004
IEEE
116views Database» more  DASFAA 2004»
15 years 5 months ago
Template-Based Proxy Caching for Table-Valued Functions
Abstract. Certain types of database-backed web sites heavily utilize userdefined functions in SQL queries. Unfortunately, existing web proxy caching schemes can not handle these fu...
Qiong Luo, Wenwei Xue
ICDE
2008
IEEE
122views Database» more  ICDE 2008»
16 years 3 months ago
On Signatures for Communication Graphs
Abstract-- Communications between individuals can be represented by (weighted, multi-) graphs. Many applications operate on communication graphs associated with telephone calls, em...
Graham Cormode, Flip Korn, S. Muthukrishnan, Yihua...
SCALESPACE
2007
Springer
15 years 8 months ago
Super-Resolution Using Sub-band Constrained Total Variation
Abstract. Super-resolution of a single image is a severely ill-posed problem in computer vision. It is possible to consider solving this problem by considering a total variation ba...
Priyam Chatterjee, Vinay P. Namboodiri, Subhasis C...
JAIR
2006
117views more  JAIR 2006»
15 years 1 months ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer