Sciweavers

1228 search results - page 108 / 246
» Continuations, proofs and tests
Sort
View
ICIP
2000
IEEE
14 years 9 months ago
Orthonormal Finite Ridgelet Transform for Image Compression
A finite implementation of the ridgelet transform is presented. The transform is invertible, non-redundant and achieved via fast algorithms. Furthermore we show that this transfor...
Minh N. Do, Martin Vetterli
ICCBR
2005
Springer
14 years 1 months ago
Evaluation and Monitoring of the Air-Sea Interaction Using a CBR-Agents Approach
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
Javier Bajo, Juan M. Corchado
ICSOC
2005
Springer
14 years 1 months ago
Dynamo: Dynamic Monitoring of WS-BPEL Processes
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
Luciano Baresi, Sam Guinea
MHCI
2004
Springer
14 years 1 months ago
Tilt-Based Automatic Zooming and Scaling in Mobile Devices - A State-Space Implementation
Abstract. We provide a dynamic systems interpretation of the coupling of internal states involved in speed-dependent automatic zooming, and test our implementation on a text browse...
Parisa Eslambolchilar, Roderick Murray-Smith
PPPJ
2003
ACM
14 years 1 months ago
A noughts and crosses Java applet to teach programming to primary school children
We report on a continuing study into teaching programming to pre-teens school-children, with some as young as seven years old. As part of the study we aim to test childrens’ alg...
J. Paul Gibson