8874 search results - page 164 / 1775 » A New Implementation of Automath |
125
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Congestion control algorithms seek to optimally utilize network resources by allocating a certain rate for each user. However, malicious clients can disregard the congestion contr...
118
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Let G1 be a cyclic multiplicative group of order n. It is known that the Diffie-Hellman problem is random self-reducible in G1 with respect to a fixed generator g if (n) is known....
141
click to vote
JCP
2008
15 years 4 months ago
2008
Emotion recognition has become a popular area in human-robot interaction research. Through recognizing facial expressions, a robot can interact with a person in a more friendly man...
129
click to vote
JDCTA
2008
15 years 4 months ago
2008
Lower urinary tract symptoms (LUTS) affect selfassessed quality of life. The aim of this study is to acquire useful information of LUTS diagnosis thorough uroflow and urophonograp...
124
click to vote
CAD
2005
Springer
15 years 4 months ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...