659 search results - page 35 / 132 » Binding as sets of scopes |
EUROCRYPT
2009
Springer
16 years 1 months ago
2009
Springer
The existence of encryption and commitment schemes secure under selective opening attack (SOA) has remained open despite considerable interest and attention. We provide the rst pub...
FDG
2009
ACM
15 years 7 months ago
2009
ACM
In this paper, I will discuss a set of techniques for supporting limited variable binding in behavior-based systems. This adds additional useful expressivity while preserving the ...
COST
2007
Springer
15 years 6 months ago
2007
Springer
Conversational interactions are cooperatively constructed activities in which participants negotiate their entrances, turns and alignments with other speakers, oftentimes with an ...
111
Voted
ICALP
2001
Springer
15 years 5 months ago
2001
Springer
We present a logical framework Υ for reasoning on a very general class of languages featuring binding operators, called nominal , presented in higher-order abstract syntax (HOAS)....
84
Voted
NIPS
2001
15 years 1 months ago
2001
We investigate the following data mining problem from Computational Chemistry: From a large data set of compounds, find those that bind to a target molecule in as few iterations o...