Sciweavers

1187 search results - page 74 / 238
» Computation in Extended Argumentation Frameworks
Sort
View
103
Voted
ICFP
2006
ACM
16 years 1 months ago
Programming monads operationally with Unimo
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
Chuan-Kai Lin
ICFP
2008
ACM
16 years 1 months ago
A scheduling framework for general-purpose parallel languages
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
Matthew Fluet, Mike Rainey, John H. Reppy
ASM
2005
ASM
15 years 7 months ago
Time in State Machines
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
Susanne Graf, Andreas Prinz
ICCV
2007
IEEE
16 years 3 months ago
A Homographic Framework for the Fusion of Multi-view Silhouettes
This paper presents a purely image-based approach to fusing foreground silhouette information from multiple arbitrary views. Our approach does not require 3D constructs like camer...
Saad M. Khan, Pingkun Yan, Mubarak Shah
ECCV
2004
Springer
16 years 3 months ago
A l1-Unified Variational Framework for Image Restoration
Among image restoration literature, there are mainly two kinds of approach. One is based on a process over image wavelet coefficients, as wavelet shrinkage for denoising. The other...
Julien Bect, Laure Blanc-Féraud, Gilles Aub...