Sciweavers

1958 search results - page 322 / 392
» Adaptive Mobile Guides
Sort
View
APLAS
2006
ACM
15 years 5 months ago
Computational Secrecy by Typing for the Pi Calculus
We define and study a distributed cryptographic implementation for an asynchronous pi calculus. At the source level, we adapt simple type systems designed for establishing formal ...
Martín Abadi, Ricardo Corin, Cédric ...
FPT
2005
IEEE
133views Hardware» more  FPT 2005»
15 years 4 months ago
FPGA-Based Conformance Testing and System Prototyping of an MPEG-4 SA-DCT Hardware Accelerator
Two FPGA implementations of a Shape Adaptive Discrete Cosine Transform (SA-DCT) accelerator are presented in this paper: one PCI-based and the other AMBA-based. The former is used...
Andrew Kinane, Alan Casey, Valentin Muresan, Noel ...
MUM
2005
ACM
107views Multimedia» more  MUM 2005»
15 years 4 months ago
Retargeting vector animation for small displays
We present a method that preserves the recognizability of key object interactions in a vector animation. The method allows an artist to author an animation once, and then output i...
Vidya Setlur, Yingqing Xu, Xuejin Chen, Bruce Gooc...
AIED
2005
Springer
15 years 4 months ago
Some Unusual Open Learner Models
Open learner models to facilitate reflection are becoming more common in adaptive learning environments. There are a variety of approaches to presenting the learner model to the st...
Susan Bull, Abdallatif S. Abu-Issa, Harpreet Ghag,...
ARCS
2005
Springer
15 years 4 months ago
Self-Organization in Sensor Networks using Bio-Inspired Mechanisms
Bio-inspired communication methodologies promise to enable more scalable self-organizing network infrastructures. Especially in the area of mobile ad hoc sensor networks, such sol...
Falko Dressler, Bettina Krüger, Gerhard Fuchs...