1604 search results - page 247 / 321 » Development Separation in Lambda-Calculus |
135
click to vote
IJRR
2010
15 years 2 months ago
2010
Continuum robotics has rapidly become a rich and diverse area of research, with many designs and applications demonstrated. Despite this diversity in form and purpose, there exist...
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents a novel transport protocol, CUSP, specifically designed with complex and dynamic network applications in mind. Peer-to-peer applications benefit in particu...
140
click to vote
ISVC
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of developing an automated visual solution for detecting human activities within industrial environments. This has been performed using an overhead view. Th...
155
click to vote
TCOM
2008
15 years 2 months ago
2008
Collaborative decoding is an approach that can achieve diversity and combining gain by exchanging decoding information among a cluster of physically separated receivers. On AWGN ch...
144
click to vote
JUCS
2010
15 years 2 months ago
2010
: Given a multiple power sum (extending polynomial’s exponents to real numbers), the positive root isolation problem is to find a list of disjoint intervals, satisfying that the...