2741 search results - page 282 / 549 » Engineering Mathematical Knowledge |
137
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
141
click to vote
MSN
2005
Springer
15 years 9 months ago
2005
Springer
The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the lifetime of...
175
click to vote
ALGOSENSORS
2004
Springer
15 years 9 months ago
2004
Springer
WiseMAC is a medium access control protocol designed for wireless sensor networks. This protocol is based on non-persistent CSMA and uses the preamble sampling technique to minimiz...
162
click to vote
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
High-Level music descriptors are key ingredients for music information retrieval systems. Although there is a long tradition in extracting information from acoustic signals, the f...
134
click to vote
ITS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...