Sciweavers

298 search results - page 26 / 60
» ideal 2010
Sort
View
IJDET
2010
157views more  IJDET 2010»
14 years 7 months ago
Integrating Adaptive Games in Student-Centered Virtual Learning Environments
: The increasing adoption of e-Learning technology is facing new challenges such as how to produce student-centered systems that can be adapted to the needs of each student. In thi...
Ángel del Blanco, Javier Torrente, Pablo Mo...
EJWCN
2010
149views more  EJWCN 2010»
14 years 4 months ago
Collaborative Event-Driven Coverage and Rate Allocation for Event Miss-Ratio Assurances in Wireless Sensor Networks
Wireless sensor networks are often required to provide event miss-ratio assurance for a given event type. To meet such assurances along with minimum energy consumption, this paper ...
Hidayet Ozgur Sanli, Hasan Çam
INTERSPEECH
2010
14 years 4 months ago
Combining monaural and binaural evidence for reverberant speech segregation
Most existing binaural approaches to speech segregation rely on spatial filtering. In environments with minimal reverberation and when sources are well separated in space, spatial...
John Woodruff, Rohit Prabhavalkar, Eric Fosler-Lus...
JAR
2010
98views more  JAR 2010»
14 years 4 months ago
Proof-Guided Test Selection from First-Order Specifications with Equality
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulas with equality. We first prove the existence of an ide...
Delphine Longuet, Marc Aiguier, Pascale Le Gall
TDSC
2010
160views more  TDSC 2010»
14 years 4 months ago
Dual-Quorum: A Highly Available and Consistent Replication System for Edge Services
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...
Lei Gao, Michael Dahlin, Jiandan Zheng, Lorenzo Al...