Sciweavers

5055 search results - page 372 / 1011
» Relative Timing
Sort
View
ESORICS
1994
Springer
15 years 11 months ago
A Calculus for Secure Channel Establishment in Open Networks
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
Ueli M. Maurer, Pierre E. Schmid
COGSCI
2006
56views more  COGSCI 2006»
15 years 7 months ago
Phonotactics and Articulatory Coordination Interact in Phonology: Evidence from Nonnative Production
A core area of phonology is the study of phonotactics, or how sounds are linearly combined. Recent cross-linguistic analyses have shown that the phonology determines not only phon...
Lisa Davidson
ETS
2006
IEEE
114views Hardware» more  ETS 2006»
15 years 7 months ago
From Research Resources to Learning Objects: Process Model and Virtualization Experiences
Typically, most research and academic institutions own and archive a great amount of objects and research related resources that have been produced, used and maintained over long ...
José Luis Sierra, Alfredo Fernández-...
CORR
2000
Springer
132views Education» more  CORR 2000»
15 years 7 months ago
Uniform semantic treatment of default and autoepistemic logics
We revisit the issue of epistemological and semantic foundations for autoepistemic and default logics, two leading formalisms in nonmonotonic reasoning. We develop a general seman...
Marc Denecker, Victor W. Marek, Miroslaw Truszczyn...
BTW
2009
Springer
240views Database» more  BTW 2009»
15 years 8 months ago
Efficient Adaptive Retrieval and Mining in Large Multimedia Databases
Abstract: Multimedia databases are increasingly common in science, business, entertainment and many other applications. Their size and high dimensionality of features are major cha...
Ira Assent