Sciweavers

1013 search results - page 145 / 203
» A Subexponential Algorithm for Abstract Optimization Problem...
Sort
View
WINET
2010
158views more  WINET 2010»
14 years 8 months ago
Joint multi-cost routing and power control in wireless ad hoc networks
Abstract In this work we study the combination of multicost routing and adjustable transmission power in wireless ad hoc networks, so as to obtain dynamic energy- and interference-...
Nikolaos Karagiorgas, Panagiotis C. Kokkinos, Chri...
CAV
2007
Springer
116views Hardware» more  CAV 2007»
15 years 4 months ago
A Decision Procedure for Bit-Vectors and Arrays
Abstract. STP is a decision procedure for the satisfiability of quantifier-free formulas in the theory of bit-vectors and arrays that has been optimized for large problems encoun...
Vijay Ganesh, David L. Dill
GLOBECOM
2008
IEEE
14 years 11 months ago
Cross-Layer Rate Allocation for Multimedia Applications in Pervasive Computing Environment
Abstract— An important issue for supporting multimedia applications in multiple heterogeneous networks, a typical pervasive computing environment, is how to optimize the rate all...
Liang Zhou, Benoit Geller, Anne Wei, Baoyu Zheng, ...
MICCAI
2003
Springer
15 years 10 months ago
The Euler-Lagrange Equation for Interpolating Sequence of Landmark Datasets
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
Alain Trouvé, Laurent Younes, Michael I. Mi...
ACRI
2004
Springer
15 years 3 months ago
Evolving Transition Rules for Multi Dimensional Cellular Automata
Abstract. Genetic Algorithms have been used before to evolve transition rules for one dimensional Cellular Automata (CA) to solve e.g. the majority problem and investigate communic...
Ron Breukelaar, Thomas Bäck