Sciweavers

1943 search results - page 198 / 389
» Ordering Default Theories
Sort
View
ALDT
2009
Springer
162views Algorithms» more  ALDT 2009»
16 years 1 months ago
Compact Preference Representation in Stable Marriage Problems
Abstract. The stable marriage problem has many practical applications in twosided markets like those that assign doctors to hospitals, students to schools, or buyers to vendors. Mo...
Enrico Pilotto, Francesca Rossi, Kristen Brent Ven...
ISSAC
2009
Springer
171views Mathematics» more  ISSAC 2009»
16 years 1 months ago
Computing cylindrical algebraic decomposition via triangular decomposition
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang
CDC
2008
IEEE
107views Control Systems» more  CDC 2008»
16 years 1 months ago
Resource pooling for optimal evacuation of a large building
— This paper is concerned with modeling, analysis and optimization/control of occupancy evolution in a large building. The main concern is efficient evacuation of a building in ...
Kun Deng, Wei Chen, Prashant G. Mehta, Sean P. Mey...
GLOBECOM
2008
IEEE
16 years 1 months ago
Scalable and Adaptive Resource Scheduling in IEEE 802.16 WiMAX Networks
—This paper proposes the so-called adaptive resource scheduling (ARS) schemes to cope with both uplink and downlink traffic transmissions in WiMAX, in order to fully utilize the ...
Hanwu Wang, Weijia Jia
IAT
2008
IEEE
16 years 1 months ago
Auction Analysis by Normal Form Game Approximation
Auctions are pervasive in today’s society and provide a variety of real markets. This article facilitates a strategic choice between a set of available trading strategies by int...
Michael Kaisers, Karl Tuyls, Frank Thuijsman, Simo...