495 search results - page 33 / 99 » Abstract Numeration Systems and Tilings |
FOIKS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...
TASE
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract--The use of automated guided vehicles (AGVs) in material-handling processes of manufacturing facilities and warehouses isbecomingincreasinglycommon.AcriticaldrawbackofanAG...
IJDMBC
2010
13 years 4 months ago
2010
Abstract--We consider the problem of setting the uplink signalto-noise-and-interference (SINR) target and allocating transmit powers for mobile stations in multicell spatial multip...
APN
2008
Springer
13 years 12 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
ICC
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In wireless cellular systems, capacity can be increased if both in-cell and out-of-cell cochannel interference (CCI) is properly handled. Moreover, spatial multiplexing...