12981 search results - page 2563 / 2597 » Model Checking (Abstract) |
BMCBI
2008
14 years 10 months ago
2008
spectives. A total of 149 abstracts were accepted and presented in the poster session and 31 of them were selected for oral presentation. At the opening of the meeting, Roderic Gui...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract--Breadth First Search (BFS) and other graph traversal techniques are widely used for measuring large unknown graphs, such as online social networks. It has been empiricall...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Artificial immune systems (AISs) are problem-solving systems inspired by the biological immune system. They have been successfully applied to a number of problem domains ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract-- Multimode precoding, where the number of independent data-streams is adapted optimally, can be used to maximize the achievable throughput in multi-antenna communication ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. We consider the minimum spanning tree problem in a setting where information about the edge weights of the given graph is uncertain. Initially, for each edge e of the gra...