Sciweavers

481 search results - page 18 / 97
» Toward an Abstract Computer Virology
Sort
View
BIRTHDAY
2007
Springer
14 years 2 months ago
Towards Rewriting in Coq
elle Gnaedig, H´el`ene Kirchner: Narrowing abstraction and constraints for proving properties of reduction relations 12:30- 14:00 Lunch break 14:00- 15: 50. Session 3 • Paul Bra...
Jacek Chrzaszcz, Daria Walukiewicz-Chrzaszcz
ISVC
2005
Springer
14 years 1 months ago
Toward Real Time Fractal Image Compression Using Graphics Hardware
Abstract. In this paper, we present a parallel fractal image compression using the programmable graphics hardware. The main problem of fractal compression is the very high computin...
Ugo Erra
SAC
2006
ACM
14 years 2 months ago
Towards chemical coordination for grids
ide, applications are programmed in an abstract manner describing essentially the chemical coordination between (not necessarily chemical) software components. On the other side, c...
Jean-Pierre Banâtre, Pascal Fradet, Yann Rad...
KR
2010
Springer
14 years 28 days ago
Towards Fixed-Parameter Tractable Algorithms for Argumentation
Abstract argumentation frameworks have received a lot of interest in recent years. Most computational problems in this area are intractable but several tractable fragments have be...
Wolfgang Dvorák, Reinhard Pichler, Stefan W...
ACII
2007
Springer
14 years 4 days ago
Towards Affective-Psychophysiological Foundations for Music Production
Abstract. This paper describes affective and psychophysiological foundations used to help to control affective content in music production. Our work includes the proposal of a know...
António Pedro Oliveira, Amílcar Card...