3378 search results - page 293 / 676 » A universe of binding and computation |
158
click to vote
ACL
2010
15 years 4 months ago
2010
Combinatory Categorial Grammar (CCG) is generally construed as a fully lexicalized formalism, where all grammars use one and the same universal set of rules, and crosslinguistic v...
159
click to vote
DLT
2009
15 years 4 months ago
2009
Seki et al. (1991) proved a rather weak pumping lemma for multiple context-free languages, which says that any infinite m-multiple context-free language contains a string that is p...
171
click to vote
HCI
2009
15 years 4 months ago
2009
Hierarchies have long been used as useful structuring mechanisms for organizing and managing documents. This study looks at the problem of personal digital document management in t...
215
click to vote
NAR
2011
14 years 9 months ago
2011
KUPS (The University of Kansas Proteomics Service) provides high-quality protein–protein interaction (PPI) data for researchers developing and evaluating computational models fo...
218
Voted
CRYPTO
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...