16666 search results - page 2769 / 3334 » Descriptive and Computational Complexity |
180
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
172
click to vote
EDBTW
2010
Springer
16 years 1 months ago
2010
Springer
To face the increasing demand from users, National Statistical Institutes (NSI) release different information products. The dissemination of this information should be performed ...
183
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
This paper presents novel methodologies which allow robust secret key extraction from radio channel measurements which suffer from real-world non-reciprocities and a priori unkno...
200
click to vote
IPSN
2010
Springer
16 years 1 months ago
2010
Springer
Wireless Sensor Actuator Networks (WSANs) extend wireless sensor networks through actuation capability. Designing robust logic for WSANs however is challenging since nodes can a...
203
click to vote
AVSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—Applications such as surveillance and human motion capture require high-bandwidth recording from multiple cameras. Furthermore, the recent increase in research on sensor...