1993 search results - page 250 / 399 » On Action Theory Change |
155
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
— Despite all the recent advances in the mathematical theories for constructing optical queues by optical Switches and fiber Delay Lines (SDL), there are still many problems tha...
192
click to vote
SAGT
2009
Springer
16 years 1 months ago
2009
Springer
We consider the loss in social welfare caused by individual rationality in matching scenarios. We give both theoretical and experimental results comparing stable matchings with soc...
200
click to vote
ATVA
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a bounded model checking algorithm for the verification of analog and mixed-signal (AMS) circuits using a satisfiability modulo theories (SMT) solver. The sys...
169
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we examine how adding objectives to a given optimization problem affects the computation effort required to generate the set of Pareto-optimal solutions. Experime...
181
click to vote
GECCO
2007
Springer
16 years 24 days ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...