Sciweavers

2324 search results - page 345 / 465
» A Fast Keyword-Spotting Technique
Sort
View
TACAS
2009
Springer
132views Algorithms» more  TACAS 2009»
16 years 1 months ago
Transition-Based Directed Model Checking
Abstract. Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by inï¬...
Martin Wehrle, Sebastian Kupferschmid, Andreas Pod...
CEC
2009
IEEE
16 years 1 months ago
An adaptive learning particle swarm optimizer for function optimization
— Traditional particle swarm optimization (PSO) suffers from the premature convergence problem, which usually results in PSO being trapped in local optima. This paper presents an...
Changhe Li, Shengxiang Yang
ICC
2009
IEEE
179views Communications» more  ICC 2009»
16 years 1 months ago
Distributed Power Control for Interference-Limited Cooperative Relay Networks
— In this paper, a distributed power control algorithm is proposed for wireless relay networks in interference-limited environments. The objective is to minimize the total transm...
Sheng Zhou, Hongda Xiao, Zhisheng Niu
ICPPW
2009
IEEE
16 years 1 months ago
Audio-Based Self-Organizing Authentication for Pervasive Computing: A Cyber-Physical Approach
—Pervasive computing is fast becoming a reality with rapid advance in computing and networking technologies. It has the characteristics of scalability, invisibility, and the abse...
Su Jin Kim, Sandeep K. S. Gupta
ICRA
2009
IEEE
166views Robotics» more  ICRA 2009»
16 years 1 months ago
Anatomically correct testbed hand control: Muscle and joint control strategies
— Human hands are capable of many dexterous grasping and manipulation tasks. To understand human levels of dexterity and to achieve it with robotic hands, we constructed an anato...
Ashish Deshpande, Jonathan Ko, Dieter Fox, Yoky Ma...