Sciweavers

1566 search results - page 272 / 314
» Contification Using Dominators
Sort
View
ADHOCNOW
2005
Springer
15 years 3 months ago
Performance Analysis of the Hierarchical Layer Graph for Wireless Networks
The Hierarchical Layer Graph (HL graph) is a promising network topology for wireless networks with variable transmission ranges. It was introduced and analyzed by Meyer auf der He...
Stefan Rührup, Christian Schindelhauer, Klaus...
ATAL
2005
Springer
15 years 3 months ago
Predicting agent strategy mix of evolving populations
We study agent societies where self-interested agents interact repeatedly over extended time periods. In particular, we are interested in environments where agents can form mutual...
Sabyasachi Saha, Sandip Sen
CHARME
2005
Springer
136views Hardware» more  CHARME 2005»
15 years 3 months ago
Acceleration of SAT-Based Iterative Property Checking
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Daniel Große, Rolf Drechsler
COCOON
2005
Springer
15 years 3 months ago
Oblivious and Adaptive Strategies for the Majority and Plurality Problems
In the well-studied Majority problem, we are given a set of n balls colored with two or more colors, and the goal is to use the minimum number of color comparisons to find a ball ...
Fan R. K. Chung, Ronald L. Graham, Jia Mao, Andrew...
ESWS
2005
Springer
15 years 3 months ago
Semantic Annotation of Images and Videos for Multimedia Analysis
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Stephan Bloehdorn, Kosmas Petridis, Carsten Saatho...