Sciweavers

2735 search results - page 279 / 547
» Generalized Displacement Maps
Sort
View
PODC
2010
ACM
15 years 10 months ago
Brief announcement: tree decomposition for faster concurrent data structures
We show how to partition data structures representable by directed acyclic graphs, i.e. rooted trees, to allow for efficient complex operations, which lie beyond inserts, deletes ...
Johannes Schneider, Roger Wattenhofer
CODES
2004
IEEE
15 years 10 months ago
Power-aware communication optimization for networks-on-chips with voltage scalable links
Networks-on-Chip (NoC) is emerging as a practical development platform for future systems-on-chip products. We propose an energyefficient static algorithm which optimizes the ener...
Dongkun Shin, Jihong Kim
CLEF
2006
Springer
15 years 10 months ago
Robust Ad-Hoc Retrieval Experiments with French and English at the University of Hildesheim
This paper reports on experiments submitted for the robust task at CLEF 2006 ad intended to provide a baseline for other runs for the robust task. We applied a system previously t...
Thomas Mandl, René Hackl, Christa Womser-Ha...
FGR
2004
IEEE
127views Biometrics» more  FGR 2004»
15 years 10 months ago
Gait Style and Gait Content: Bilinear Models for Gait Recognition Using Gait Re-sampling
Human Identification using gait is a challenging computer vision task due to the dynamic motion of gait and the existence of various sources of variations such as viewpoint, walki...
Chan-Su Lee, Ahmed M. Elgammal
ETRICS
2006
15 years 10 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter