12774 search results - page 2358 / 2555 » A Framework for Proof Systems |
178
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
We present an agent-based coordination and planning method for aerial surveillance of multiple urban areas using a group of fixed-wing unmanned aerial vehicles (UAVs). The method ...
201
click to vote
DASFAA
2010
IEEE
15 years 4 months ago
2010
IEEE
Keyword search is widely recognized as a convenient way to retrieve information from XML data. In order to precisely meet users' search concerns, we study how to effectively r...
199
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...
194
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper considers a relay-assisted bidirectional cellular network where the base station (BS) communicates with each mobile station (MS) using orthogonal frequency-division mult...
175
click to vote
HPCC
2010
Springer
2010
Springer
Implementation and Evaluation of a NAT-Gateway for the General Internet Signaling Transport Protocol
15 years 4 months ago
The IETF's Next Steps in Signaling (NSIS) framework provides an up-to-date signaling protocol suite that can be used to dynamically install, maintain, and manipulate state in ...