2125 search results - page 191 / 425 » Points with Type-2 Operations |
114
click to vote
IROS
2008
IEEE
15 years 10 months ago
2008
IEEE
— For humanoid robots that should assist humans in their daily life the capability of an adequate interaction with human operators is a key feature. A key factor for human like i...
129
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
125
click to vote
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Mobile IP allows a mobile node to maintain a continuous connectivity to the Internet when moving from one access point to another. However, due to the link switching delay and ...
126
click to vote
WISE
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. Mobile payment normally occurs as a wireless transaction of monetary value and includes the initiation, authorization and the realization of the payment. Such transaction...
111
click to vote
DSD
2007
IEEE
15 years 10 months ago
2007
IEEE
Similar to sequential test pattern generation, the problem of identifying untestable faults in sequential circuits remains unsolved. Most of the previous works in untestability id...