The emerging field of ubiquitous robotics presents new challenges for human-robot interface. In this note, we introduce the concept of a common interface point using an expression-...
The use of the Yager's OWA operators within a flexible querying interface is discussed. The key issue is the adaptation of an OWA operator to the specifics of a user's qu...
A general verification algorithm is described. It is then shown how ellipsoidal methods developed by A. B. Kurzhanski and P. Varaiya can be adapted to the algorithm. New numerical ...
Abstract: We present a number of attacks, some new, on public key protocols. We also advance a number of principles which may help designers avoid many of the pitfalls, and help at...
I provide several lessons learned from running a number of conference program committees over the past decade, as well as some additional thoughts on conference organization and t...