Sciweavers

6343 search results - page 1232 / 1269
» Robust consensus computation
Sort
View
ISER
2004
Springer
148views Robotics» more  ISER 2004»
15 years 3 months ago
The Berkeley Lower Extremity Exoskeleton Project
In October 2003, the first functional load-bearing and energetically autonomous exoskeleton, called the Berkeley Lower Extremity Exoskeleton (BLEEX) was demonstrated, walking at th...
H. Kazerooni
NN
2004
Springer
102views Neural Networks» more  NN 2004»
15 years 3 months ago
A Quantitative Evaluation of a Bio-inspired Sound Segregation Technique for Two- and Three-Source Mixtures
A sound source separation technique based on a bio-inspired neural network, capable of functioning in more than two-source mixtures, is proposed. Separation results are compared wi...
Ramin Pichevar, Jean Rouat
TACAS
2004
Springer
108views Algorithms» more  TACAS 2004»
15 years 3 months ago
Model Checking Discounted Temporal Properties
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
Luca de Alfaro, Marco Faella, Thomas A. Henzinger,...
COMPSAC
2003
IEEE
15 years 3 months ago
PeAgent - A Mobile Agent System to Support Secure Internet and Web Applications
Many agent-based systems have been developed over the past decade; however, the security issues are usually not addressed adequately. In order to make the mobile agent paradigm mo...
Qingkai Ma, Wei Hao, Wei Li, Manghui Tu, I-Ling Ye...
ICMENS
2003
IEEE
153views Hardware» more  ICMENS 2003»
15 years 3 months ago
Biologically Inspired Intelligent Robots Using Artificial Muscles
Humans throughout history have always sought to mimic the appearance, mobility, functionality, intelligent operation, and thinking process of biological creatures. This field of b...
Yoseph Bar-Cohen
« Prev « First page 1232 / 1269 Last » Next »