Sciweavers

3328 search results - page 219 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ITS
2004
Springer
124views Multimedia» more  ITS 2004»
15 years 12 months ago
A Multi-dimensional Taxonomy for Automating Hinting
Abstract. Hints are an important ingredient of natural language tutorial dialogues. Existing models of hints, however, are limited in capturing their various underlying functions, ...
Dimitra Tsovaltzi, Armin Fiedler, Helmut Horacek
ECAL
2003
Springer
15 years 12 months ago
Optimal Morphology of a Biologically-Inspired Whisker Array on an Obstacle-Avoiding Robot
Abstract. Whiskers are versatile sensors for short-range navigation and exploration that are widespread in many animal species, especially in rodents. Their arrangement is in very ...
Miriam Fend, Hiroshi Yokoi, Rolf Pfeifer
ESORICS
2003
Springer
15 years 11 months ago
Initiator-Resilient Universally Composable Key Exchange
Abstract. Key exchange protocols in the setting of universal composability are investigated. First we show that the ideal functionality FKE of [9] cannot be realized in the presenc...
Dennis Hofheinz, Jörn Müller-Quade, Rain...
EUROPAR
2003
Springer
15 years 11 months ago
High-Level Process Control in Eden
High-level control of parallel process behaviour simplifies the development of parallel software substantially by freeing the programmer from low-level process management and coor...
Jost Berthold, Ulrike Klusik, Rita Loogen, Steffen...
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 11 months ago
A contractivity approach for probabilistic bisimulations of diffusion processes
— This work is concerned with the problem of characterizing and computing probabilistic bisimulations of diffusion processes. A probabilistic bisimulation relation between two su...
Alessandro Abate