Sciweavers

589 search results - page 28 / 118
» Introducing Dynamic Constraints in B
Sort
View
DATE
2006
IEEE
171views Hardware» more  DATE 2006»
14 years 2 months ago
Dynamic bit-width adaptation in DCT: image quality versus computation energy trade-off
We present a dynamic bit-width adaptation scheme in DCT applications for efficient trade-off between image quality and computation energy. Based on sensitivity differences of 64 ...
Jongsun Park, Jung Hwan Choi, Kaushik Roy
ACRI
2006
Springer
14 years 2 months ago
Social Distances Model of Pedestrian Dynamics
Abstract. The knowledge of phenomena connected with pedestrian dynamics is desired in the process of developing public facilities. Nowadays, there is a necessity of creating variou...
Jaroslaw Was, Bartlomiej Gudowski, Pawel J. Matusz...
ICPR
2008
IEEE
14 years 9 months ago
Depth-based image mosaicing for both static and dynamic scenes
Traditional image-based mosaicing deals with the problem of parallax by imposing constraints of a parallax-free camera configuration or requiring a dense sampling of the scene. Th...
Qi Zhi, Jeremy R. Cooperstock
GECCO
2008
Springer
112views Optimization» more  GECCO 2008»
13 years 9 months ago
Handling dynamic data structures in search based testing
There has been little attention to search based test data generation in the presence of pointer inputs and dynamic data structures, an area in which recent concolic methods have e...
Kiran Lakhotia, Mark Harman, Phil McMinn
ICS
2003
Tsinghua U.
14 years 1 months ago
Selecting long atomic traces for high coverage
This paper performs a comprehensive investigation of dynamic selection for long atomic traces. It introduces a classification of trace selection methods and discusses existing and...
Roni Rosner, Micha Moffie, Yiannakis Sazeides, Ron...