Sciweavers

3557 search results - page 187 / 712
» Authoring Presentation for OpenMath
Sort
View
ICA
2007
Springer
16 years 19 days ago
First Stereo Audio Source Separation Evaluation Campaign: Data, Algorithms and Results
This article provides an overview of the first stereo audio source separation evaluation campaign, organized by the authors. Fifteen underdetermined stereo source separation algor...
Emmanuel Vincent, Hiroshi Sawada, Pau Bofill, Shoj...
IWSEC
2007
Springer
16 years 19 days ago
Processing Multi-parameter Attacktrees with Estimated Parameter Values
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...
Aivo Jürgenson, Jan Willemson
MKM
2007
Springer
16 years 19 days ago
Cooperative Repositories for Formal Proofs
We present a new framework for the online development of formalized mathematics. This framework allows wiki-style collaboration while providing users with a rendered and browsable ...
Pierre Corbineau, Cezary Kaliszyk
INFOCOM
2006
IEEE
16 years 15 days ago
A Secure Triple-Key Management Scheme for Wireless Sensor Networks
– Key management is critical to meet the security goals [1] to prevent the Sensor Networks being compromised by an adversary. Due to ad-hoc nature and resource limitations of sen...
Tanveer Zia, Albert Y. Zomaya
OZCHI
2006
ACM
16 years 13 days ago
Mobile helper for university students: a design for a mobile learning environment
This paper reports on a design case study for a mobile learning (M-learning) environment that follows a usercentred design approach. This development of the system applied an M-le...
Richard Brown, Hokyoung Ryu, David Parsons