2938 search results - page 321 / 588 » On obfuscating point functions |
165
click to vote
IWAI
1999
Springer
15 years 11 months ago
1999
Springer
This article describes the role and functions of facial expressions in human-human and human-computer interactions from a psychological point of view. We introduce our theoretical...
171
click to vote
ICRA
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a multi-loop, modular navigation architecture for mobile robots whose structure allows the execution of most types of navigation tasks in a highly robust mann...
186
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
We show how extensible records with structural subtyping can be represented directly in Higher-Order Logic (HOL). Exploiting some specific properties of HOL, this encoding turns o...
186
click to vote
ECOOP
1998
Springer
15 years 11 months ago
1998
Springer
The last few years have seen the development of statically typed object based (also called prototype-based) programming languages. Two proposals, namely the Lambda Calculus of Obje...
149
click to vote
ATS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper considers the testability implications of low power design methodologies. Low power and high testability are shown to be highly contrasting requirements, and an optimiz...