3378 search results - page 195 / 676 » A universe of binding and computation |
203
click to vote
ACMDIS
2008
ACM
15 years 8 months ago
2008
ACM
Large collections of photographs are commonplace, and many interfaces for viewing, sorting and organizing them have been proposed. This work describes the design and implementatio...
161
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
176
click to vote
ISMB
1997
15 years 8 months ago
1997
In bacterial cells, gene expression is regulated by multiple sigma factors, each of which has its promoter specificity, according to their conditions. Thus, if we can discriminate...
186
click to vote
CSR
2008
Springer
15 years 6 months ago
2008
Springer
An (n, k)-ary quantifier is a generalized logical connective, binding k variables and connecting n formulas. Canonical systems with (n, k)-ary quantifiers form a natural class of G...
184
click to vote
JCP
2007
15 years 6 months ago
2007
— Integrity of digital documents is a very important issue if they are to be legally binding. Common solutions, like digital signatures or message authentication codes, are based...