10916 search results - page 127 / 2184 » On Constructive Connectives and Systems |
161
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
This paper proposes a noise robust exemplar-based speech recognition system where noisy speech is modeled as a linear combination of a set of speech and noise exemplars. The metho...
162
click to vote
INFSOF
2000
15 years 6 months ago
2000
A number of standalone tools are designed to help developers understand software systems. These tools operate at different levels of abstraction, from low level source code to sof...
179
click to vote
SENSYS
2003
ACM
15 years 11 months ago
2003
ACM
An effective approach for energy conservation in wireless sensor networks is scheduling sleep intervals for extraneous nodes, while the remaining nodes stay active to provide cont...
185
click to vote
AIRWEB
2009
Springer
16 years 1 months ago
2009
Springer
Spammers in social bookmarking systems try to mimick bookmarking behaviour of real users to gain the attention of other users or search engines. Several methods have been proposed...
175
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavi...