Sciweavers

9477 search results - page 1568 / 1896
» Design is as Easy as Optimization
Sort
View
TPHOL
2007
IEEE
16 years 29 days ago
Separation Logic for Small-Step cminor
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
Andrew W. Appel, Sandrine Blazy
VTC
2007
IEEE
143views Communications» more  VTC 2007»
16 years 29 days ago
Ant-Colony-Based Multiuser Detection for MC DS-CDMA Systems
Abstract— In this contribution we present a novel ant colony optimization (ACO) based multi-user detector (MUD) designed for synchronous multi-carrier direct sequence code divisi...
Chong Xu, Lie-Liang Yang, Lajos Hanzo
VTC
2007
IEEE
192views Communications» more  VTC 2007»
16 years 29 days ago
Access Scheduling Based on Time Water-Filling for Next Generation Wireless LANs
Opportunistic user access scheduling enhances the capacity of wireless networks by exploiting the multi user diversity. When frame aggregation is used, opportunistic schemes are no...
Ertugrul Necdet Ciftcioglu, Özgür Gü...
ATAL
2007
Springer
16 years 27 days ago
F-trade: an agent-mining symbiont for financial services
The interaction and integration of agent technology and data mining presents prominent benefits to solve some of challenging issues in individual areas. For instance, data mining ...
Longbing Cao, Chengqi Zhang
ATAL
2007
Springer
16 years 27 days ago
SSDPOP: improving the privacy of DCOP with secret sharing
Multi-agent systems designed to work collaboratively with groups of people typically require private information that people will entrust to them only if they have assurance that ...
Rachel Greenstadt, Barbara J. Grosz, Michael D. Sm...
« Prev « First page 1568 / 1896 Last » Next »