489 search results - page 71 / 98 » Formulations and Reformulations in Integer Programming |
ICTAI
2008
IEEE
14 years 2 months ago
2008
IEEE
Boolean satisfiability (SAT) finds a wide range of practical applications, including Artificial Intelligence and, more recently, Bioinformatics. Although encoding some combinat...
LCN
2008
IEEE
14 years 2 months ago
2008
IEEE
—We propose a scheme for routing and placement of mobile data collectors in Underwater Acoustic Sensor Networks (UASNs). The proposed scheme maximizes the lifetime of the network...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
We present a methodology for generating optimized architectures for data bandwidth constrained extensible processors. We describe a scalable Integer Linear Programming (ILP) formu...
GLOBECOM
2007
IEEE
14 years 2 months ago
2007
IEEE
— Rapid-deployment mobile ad-hoc networks (MANETs) are frequently characterized by common overarching mission objectives which make it reasonable to expect some degree of coopera...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— The aggregate capacity of wireless mesh networks can be increased by the use of multiple frequency channels and multiple network interface cards in each router. Recent results ...