Sciweavers

7047 search results - page 107 / 1410
» Focusing on Binding and Computation
Sort
View
CIS
2006
Springer
15 years 10 months ago
An Efficient Watermarking Technique Using ADEW and CBWT for Copyright Protection
In this paper, we propose an efficient watermarking technique using adaptive differential energy watermarking (ADEW) and cross binding wavelet tree (CBWT) for copyright protection....
Goo-Rak Kwon, Seung-Won Jung, Sung-Jea Ko
ACMDIS
2008
ACM
15 years 8 months ago
Flutter: directed random browsing of photo collections with a tangible interface
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...
John Williamson, Lorna M. Brown
BIRTHDAY
2008
Springer
15 years 8 months ago
A Category of Explicit Fusions
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...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
ISMB
1997
15 years 7 months ago
Functional Prediction of B. subtilis Genes from Their Regulatory Sequences
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...
Tetsushi Yada, Yasushi Totoki, Takahiro Ishii, Ken...
CSR
2008
Springer
15 years 6 months ago
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics
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...
Arnon Avron, Anna Zamansky