3955 search results - page 486 / 791 » Comparing the Power of Robots |
93
Voted
ERSHOV
2009
Springer
15 years 7 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
123
Voted
ICB
2009
Springer
15 years 7 months ago
2009
Springer
As we all know, face age estimation task is not only challenging for computer, but even hard for human in some cases, however, coarse age classification such as classifying human f...
ICICS
2009
Springer
15 years 7 months ago
2009
Springer
Privacy-preserving SQL computation in distributed relational database is one of important applications of secure multiparty computation. In contrast with comparatively more works o...
102
Voted
ASPDAC
2009
ACM
15 years 7 months ago
2009
ACM
— Negative Bias Temperature Instability (NBTI) in PMOS transistors has become a major reliability concern in present-day digital circuit design. Further, with the recent usage of...
137
Voted
JTRES
2009
ACM
15 years 7 months ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...