Sciweavers

2631 search results - page 60 / 527
» Less is More
Sort
View
TFM
2009
Springer
113views Formal Methods» more  TFM 2009»
14 years 4 months ago
Teaching Concurrency: Theory in Practice
Teaching courses that rely on sound mathematical principles is nowadays a challenging task at many universities. On the one hand there is an increased demand for educating students...
Luca Aceto, Anna Ingólfsdóttir, Kim ...
CHI
2006
ACM
14 years 10 months ago
PEDdo: steps to a healthy lifestyle
Studies show that 14-to-40 year olds are spending more time at the computer and less time exercising. Using Contextual Design, our group tackled the challenge of motivating people...
Visda Goudarzi, Stanislav Tomic
DATE
2009
IEEE
100views Hardware» more  DATE 2009»
14 years 4 months ago
Increasing the accuracy of SAT-based debugging
Equivalence checking and property checking are powerful techniques to detect error traces. Debugging these traces is a time consuming design task where automation provides help. I...
André Sülflow, Görschwin Fey, C&e...
ICC
2008
IEEE
161views Communications» more  ICC 2008»
14 years 4 months ago
Multidimensional Layered Forward Error Correction Using Rateless Codes
Abstract— Modern layered or scalable video coding technologies generate a video bit stream with various inter layer dependencies due to references between the layers. This work p...
Cornelius Hellge, Thomas Schierl, Thomas Wiegand
ICIP
2008
IEEE
14 years 4 months ago
Time-sequential extraction of motion layers
A new time-sequential approach for motion layer extraction is presented. We assume that the scene can be described by a set of layers associated to affine motion models. In one o...
Matthieu Fradet, Patrick Pérez, Philippe Ro...