6020 search results - page 34 / 1204 » A New Approach to Model Counting |
124
click to vote
IWSOS
2007
Springer
15 years 8 months ago
2007
Springer
A routing protocol is designed considering a particular environment all the time which is not possible in the case of practical ad hoc networks. Because of the uncertainty in topol...
116
click to vote
AI
2000
Springer
15 years 1 months ago
2000
Springer
The Region-Connection Calculus (RCC) is a well established formal system for qualitative spatial reasoning. It provides an axiomatization of space which takes regions as primitive...
123
click to vote
MWCN
2004
Springer
15 years 7 months ago
2004
Springer
We consider the problem of assigning transmission powers to the nodes of a wireless network in such a way that all the nodes of the network are connected by bidirectional links and...
208
click to vote
GIS
2004
ACM
16 years 3 months ago
2004
ACM
Triangular Irregular Network (TIN) and Regular Square Grid (RSG) are widely used for representing 2.5 dimensional spatial data. However, these models are not defined from the topo...
112
click to vote
CN
2007
15 years 1 months ago
2007
Eļ¬cient dynamic resource provisioning algorithms are necessary to the development and automation of Quality of Service (QoS) networks. The main goal of these algorithms is to oļ...