Sciweavers

1302 search results - page 151 / 261
» Soundness in the Public-Key Model
Sort
View
ACMACE
2008
ACM
15 years 8 months ago
BeatBender: subsumption architecture for autonomous rhythm generation
BeatBender is a computer music project that explores a new method for generating emergent rhythmic drum patterns using the subsumption architecture. Rather than explicitly coding ...
Aaron Levisohn, Philippe Pasquier
IADIS
2004
15 years 7 months ago
An internet-based automated virtual reality generator for pain relief
The Internet has impacted our lives in many different ways. In this paper we present an Internet-based automated virtual reality (VR) generator for pain relief of hospitalized bur...
Yingcai Xiao, Michael Tipton
ENTCS
2006
145views more  ENTCS 2006»
15 years 6 months ago
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
Michael Backes
JNW
2008
97views more  JNW 2008»
15 years 6 months ago
Vehicle Identification using Discrete Spectrums in Wireless Sensor Networks
We studied the possibility of using wireless sensor networks for vehicle identification in a large open field. This is exciting research in that it not only presents a challenge bu...
Seung S. Yang, Yoon G. Kim, Hongsik Choi
ICASSP
2010
IEEE
15 years 5 months ago
Blind rhythmic source separation: Nonnegativity and repeatability
An unsupervised method is proposed aiming at extracting rhythmic sources from commercial polyphonic music whose number of channels is limited to one. Commercial music signals are ...
Minje Kim, Jiho Yoo, Kyeongok Kang, Seungjin Choi