Sciweavers

7055 search results - page 236 / 1411
» Some New 4-Designs
Sort
View
142
Voted
ECAI
2006
Springer
15 years 10 months ago
On Interfacing with an Ubiquitous Robotic System
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-...
Donatella Guarino, Alessandro Saffiotti
FQAS
2006
Springer
90views Database» more  FQAS 2006»
15 years 10 months ago
On Tuning OWA Operators in a Flexible Querying Interface
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...
Slawomir Zadrozny, Janusz Kacprzyk
HYBRID
2000
Springer
15 years 10 months ago
Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations
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 ...
Oleg Botchkarev, Stavros Tripakis
140
Voted
CRYPTO
1995
Springer
101views Cryptology» more  CRYPTO 1995»
15 years 10 months ago
Robustness Principles for Public Key Protocols
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...
Ross J. Anderson, Roger M. Needham
NSDI
2008
15 years 9 months ago
Best Practices for the Care and Feeding of a Program Committee, and Other Thoughts on Conference Organization
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...
Fred Douglis