4498 search results - page 29 / 900 » How to Invent Functions |
INTERACT
2003
13 years 9 months ago
2003
: This study investigates blind users’ mental models of Windows environment and their strategies in coping with new desktops and applications. The relationship between users’ m...
BPM
2010
Springer
13 years 8 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
Publication
Most implementations of the language Refal represent ground expressions by doubly-linked lists, which results in low-cost concatenation. On the other hand, that representation nece...
NN
2000
Springer
13 years 7 months ago
2000
Springer
Support vector (SV) machines are useful tools to classify populations characterized by abrupt decreases in density functions. At least for one class of Gaussian data model the SV ...
ACNS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...