17049 search results - page 348 / 3410 » cans 2007 |
144
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We consider the secrecy inherent in the reciprocal nature of multipath fading channels and present a technique to generate a shared perfectly secret key by two terminals observ...
142
click to vote
AUSAI
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we propose a method where humanoid robot acquires meanings of grammatical connectives using direct physical feedback from human. Our system acquired 70% connectives ...
161
click to vote
IFL
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Type checkers for dependent types need to evaluate user defined functions during type checking. For this, current implementations typically use an interpreter, which has...
154
click to vote
APLAS
2007
ACM
15 years 10 months ago
2007
ACM
The integration of functional and logic programming is a well developed field of research. We discuss that the integration could be improved significantly in two separate aspects: ...
142
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Current design methodologies are geared towards meeting different design criteria, such as delay, area or power. However, in order to correctly identify the critical parts of a cir...