875 search results - page 112 / 175 » Extending the CG Model by Simulations |
146
click to vote
DIALM
1999
ACM
15 years 8 months ago
1999
ACM
We consider routing problems in ad hoc wireless networks modeled as unit graphs in which nodes are points in the plane and two nodes can communicate if the distance between them is...
142
click to vote
FTP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We describe two methods on the basis of which efficient resolution decision procedures can be developed for a range of description logics. The first method uses an orderi...
117
click to vote
ICSE
1997
IEEE-ACM
15 years 8 months ago
1997
IEEE-ACM
Testing methods are compared in a model where program failures are detected and the software changed to eliminate them. The question considered is whether it is better to use test...
127
click to vote
ACMICEC
2007
ACM
15 years 8 months ago
2007
ACM
While argumentation-based negotiation has been accepted as a promising alternative to game-theoretic or heuristic based negotiation, no evidence has been provided to confirm this ...
144
click to vote
ECAL
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Artificial selection of microbial ecosystems for their collective function has been shown to be effective in laboratory experiments. In previous work, we used evolutionar...