10159 search results - page 1876 / 2032 » System Design Validation Using Formal Models |
JUCS
2008
13 years 8 months ago
2008
: Social-aware computing is an emerging trend based on ubiquitous computing technologies and collaborative work. A successful design demands a better understanding of group tasks, ...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...
IAJIT
2010
13 years 6 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...
PIMRC
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract--This paper considers the problem of key management in wireless networks. In particular, we investigate the effect of dynamic key compromise and recovery on connectivity i...
INTERSPEECH
2010
13 years 3 months ago
2010
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...