5216 search results - page 1025 / 1044 » Planning as Model Checking |
78
Voted
INFOCOM
2009
IEEE
15 years 5 months ago
2009
IEEE
—Coverage is a fundamental problem in Wireless Sensor Networks (WSNs). Existing studies on this topic focus on 2D ideal plane coverage and 3D full space coverage. In many real wo...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
There is currently an ongoing demand for richer Intelligent Virtual Environments (IVEs) populated with social intelligent agents. As a result, many agent architectures are taking ...
CPAIOR
2009
Springer
15 years 5 months ago
2009
Springer
The interdiction problem arises in a variety of areas including military logistics, infectious disease control, and counter-terrorism. In the typical formulation of network interdi...
VRST
2009
ACM
15 years 4 months ago
2009
ACM
In Volume Rendering, it is difficult to simultaneously visualize interior and exterior structures. Several approaches have been developed to solve this problem, such as cut-away ...
DSD
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—In two recent contributions [1], [2], we have provided a comparative analysis of various optimization algorithms, which can be used for atomic location estimation, and s...