Sciweavers

1413 search results - page 52 / 283
» A new condensation principle
Sort
View
GPC
2008
Springer
13 years 11 months ago
Work Stealing Technique and Scheduling on the Critical Path
This paper is about a new framework for high performance thread scheduling based on the work stealing principle when processors may run at different speed. We also take into accou...
Christophe Cérin, Michel Koskas
JSYML
2008
109views more  JSYML 2008»
13 years 10 months ago
Closed fragments of provability logics of constructive theories
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
Albert Visser
IJCV
2008
123views more  IJCV 2008»
13 years 10 months ago
Nonlocal Image and Movie Denoising
Neighborhood filters are nonlocal image and movie filters which reduce the noise by averaging similar pixels. The first object of the paper is to present a unified theory of these...
Antoni Buades, Bartomeu Coll, Jean-Michel Morel
VW
1998
Springer
174views Virtual Reality» more  VW 1998»
14 years 2 months ago
ALife Meets Web: Lessons Learned
Arti cial life might come to play important roles for the World Wide Web, both as a source of new algorithmic paradigms and as a source of inspiration for its future development. N...
Luigi Pagliarini, Ariel Dolan, Filippo Menczer, He...
INTERACT
2003
13 years 11 months ago
Redefining Digital Audience: Models and Actions
: This paper presents a new theoretical model for audience participation in the context of HCI. Such a model is necessary because, while a great amount of new interactive solutions...
Paul Nemirovsky