2057 search results - page 371 / 412 » Quadratic placement using an improved timing model |
163
click to vote
JNW
2008
15 years 6 months ago
2008
The performance of any cellular wireless network, as well as its revenue (number of customers using the network, and their degree of satisfaction) is determined to a great extent b...
182
click to vote
ENTCS
2007
15 years 5 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
178
click to vote
IAJIT
2007
15 years 5 months ago
2007
: Mobile ad-hoc network is a network without infrastructure where every node has its own protocols and services for powerful cooperation in the network. Every node also has the abi...
204
click to vote
TDSC
2008
15 years 5 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
192
click to vote
IJRR
2010
15 years 4 months ago
2010
Partially observable Markov decision processes (POMDPs) provide a principled, general framework for robot motion planning in uncertain and dynamic environments. They have been app...