Sciweavers

1953 search results - page 14 / 391
» Embedded Probabilistic Programming
Sort
View
ASPLOS
2006
ACM
13 years 11 months ago
Mapping esterel onto a multi-threaded embedded processor
Xin Li, Marian Boldt, Reinhard von Hanxleden
CSREAESA
2004
13 years 9 months ago
Link-Time Compaction of MIPS Programs
Embedded systems often have limited amounts of available memory, thus encouraging the development of compact programs. This paper presents a link-time program compactor for the emb...
Matias Madou, Bjorn De Sutter, Bruno De Bus, Ludo ...
ESOP
2007
Springer
14 years 1 months ago
Probabilistic Anonymity Via Coalgebraic Simulations
There is a growing concern on anonymity and privacy on the Internet, resulting in lots of work on formalization and verification of anonymity. Especially, importance of probabilis...
Ichiro Hasuo, Yoshinobu Kawabe
CVPR
2004
IEEE
14 years 9 months ago
Probabilistic Expression Analysis on Manifolds
In this paper, we propose a probabilistic videobased facial expression recognition method on manifolds. The concept of the manifold of facial expression is based on the observatio...
Ya Chang, Changbo Hu, Matthew Turk