Sciweavers

1187 search results - page 99 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
IEEECGIV
2009
IEEE
15 years 8 months ago
Two Dimensional Compressive Classifier for Sparse Images
The theory of compressive sampling involves making random linear projections of a signal. Provided signal is sparse in some basis, small number of such measurements preserves the ...
Armin Eftekhari, Hamid Abrishami Moghaddam, Massou...
ICLP
2007
Springer
15 years 7 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
IPPS
2006
IEEE
15 years 7 months ago
Saburo, a tool for I/O and concurrency management in servers
This paper presents a Java framework based on separation of concerns and code generation concepts that facilitates development of concurrency and I/O in servers. In this approach,...
Gautier Loyauté, Rémi Forax, Gilles ...
ICPR
2010
IEEE
15 years 7 months ago
Shift-Map Image Registration
Shift-map image processing is a new framework based on energy minimization over a large space of labels. The optimization utilizes α-expansion moves and iterative refinement ove...
Linus Svärm, Petter Strandmark
RT
2000
Springer
15 years 5 months ago
Metropolis Light Transport for Participating Media
Abstract. In this paper we show how Metropolis Light Transport can be extended both in the underlying theoretical framework and the algorithmic implementation to incorporate volume...
Mark Pauly, Thomas Kollig, Alexander Keller