Sciweavers

2413 search results - page 235 / 483
» Models for universal usability
Sort
View
ICARCV
2008
IEEE
200views Robotics» more  ICARCV 2008»
15 years 12 months ago
An active ball handling mechanism for RoboCup
—This paper describes a new active ball handling method for the RoboCup mid-size league as used by team Tech United at Eindhoven University of Technology. A theoretical model is ...
Jeroen de Best, René van de Molengraft
GRC
2007
IEEE
15 years 11 months ago
Structured Writing with Granular Computing Strategies
— Granular computing unifies structured thinking, structured problem solving and structured information processing. In order to see the flexibility and universal applicability ...
Yiyu Yao
LICS
2006
IEEE
15 years 11 months ago
A Congruence Rule Format for Name-Passing Process Calculi from Mathematical Structural Operational Semantics
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
Marcelo P. Fiore, Sam Staton
CRYPTO
2004
Springer
121views Cryptology» more  CRYPTO 2004»
15 years 10 months ago
A New Paradigm of Hybrid Encryption Scheme
In this paper, we show that a key encapsulation mechanism (KEM) does not have to be IND-CCA secure in the construction of hybrid encryption schemes, as was previously believed. Tha...
Kaoru Kurosawa, Yvo Desmedt
SCCC
2002
IEEE
15 years 10 months ago
On the Distribution of Keys by Hashing
The distribution of keys by a hash function as used in hash search with chaining is studied by considering the distribution of keys a random function from keys to buckets would gi...
Horst H. von Brand