10407 search results - page 1767 / 2082 » Market-Based Approaches to Optimization |
154
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The automatic synthesis of programs from their specifications has been a dream of many researchers for decades. If we restrict to open finite-state reactive systems, th...
146
click to vote
TACAS
2005
Springer
16 years 6 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
215
click to vote
VLSM
2005
Springer
16 years 6 days ago
2005
Springer
We present a computationally efficient segmentationrestoration method, based on a probabilistic formulation, for the joint estimation of the label map (segmentation) and the para...
186
Voted
WAC
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The Internet is facing ever-increasing complexity in the construction, configuration and management of heterogeneous networks. New communication paradigms are underminin...
167
click to vote
WINE
2005
Springer
16 years 6 days ago
2005
Springer
Nash equilibria and dominant strategies are two of the major approaches to deal with selfishness in an automated system (AS), where each agent is a selfish entity. In this paper,...