Sciweavers

24421 search results - page 4509 / 4885
» Communicating Complex Systems
Sort
View
138
Voted
TASLP
2011
14 years 11 months ago
Joint Estimation of Chords and Downbeats From an Audio Signal
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...
Helene Papadopoulos, Geoffroy Peeters
TIT
2011
125views more  TIT 2011»
14 years 11 months ago
Unidirectional Chosen-Ciphertext Secure Proxy Re-Encryption
Abstract. In 1998, Blaze, Bleumer, and Strauss proposed a cryptographic primitive called proxy re-encryption, in which a proxy transforms – without seeing the corresponding plain...
Benoît Libert, Damien Vergnaud
TSE
2011
214views more  TSE 2011»
14 years 11 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
125
Voted
TVCG
2011
125views more  TVCG 2011»
14 years 11 months ago
Video Painting with Space-Time-Varying Style Parameters
—Artists use different means of stylization to control the focus on different objects in the scene. This allows them to portray complex meaning and achieve certain artistic effec...
Mizuki Kagaya, William Brendel, Qingqing Deng, Tod...
COGSR
2011
105views more  COGSR 2011»
14 years 11 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
« Prev « First page 4509 / 4885 Last » Next »