5550 search results - page 794 / 1110 » Different Approaches to Proof Systems |
169
click to vote
WOWMOM
2009
ACM
16 years 1 months ago
2009
ACM
The proliferation of mobile computing devices and local wireless networks has promoted a growing interest in location-aware systems. The problem with existing positioning techniqu...
105
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper concerns studying dissipativity of a system with supply rates that depend on one or more parameters. We show that suitable choice of supply rate turns out to make di...
191
Voted
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In this paper, we propose the novel concept of Repeat Accumulate Code Division Multiple Access (RA-CDMA), which employs unique, user-specific channel code generator matrices (...
187
Voted
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Central Pattern Generators (CPGs) are becoming a popular model for the control of locomotion of legged robots. Biological CPGs are neural networks responsible for the generatio...
176
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— In legged systems design an important question applies to: "What can be inferred from the performance of a legged robot of a similarly configured system, but scaled to a s...