Sciweavers

251 search results - page 31 / 51
» Comparative Speed Analysis of FastICA
Sort
View
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
14 years 4 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
CISIS
2008
IEEE
14 years 4 months ago
Adaptive Computational Chemotaxis in Bacterial Foraging Algorithm
Some researchers have illustrated how individual and groups of bacteria forage for nutrients and to model it as a distributed optimization process, which is called the Bacterial F...
Sambarta Dasgupta, Arijit Biswas, Ajith Abraham, S...
DATE
2008
IEEE
116views Hardware» more  DATE 2008»
14 years 4 months ago
A Variation Aware High Level Synthesis Framework
— The worst-case delay/power of function units has been used in traditional high level synthesis to facilitate design space exploration. As technology scales to nanometer regime,...
Feng Wang 0004, Guangyu Sun, Yuan Xie
CVPR
2007
IEEE
14 years 4 months ago
Moving Object Detection on a Runway Prior to Landing Using an Onboard Infrared Camera
Determining the status of a runway prior to landing is essential for any aircraft, whether manned or unmanned. In this paper, we present a method that can detect moving objects on...
Cheng-Hua Pai, Yuping Lin, Gérard G. Medion...
ICC
2007
IEEE
128views Communications» more  ICC 2007»
14 years 4 months ago
Delay and Power Efficient Voice Transmission over MANET
: Increasing speed of hardware device and versatile functionalities of small equipments e.g. laptop, PDA etc. are introducing various voice oriented applications with mobility. Lik...
Md. Golam Kaosar, Tarek R. Sheltami, Ashraf S. Has...