Sciweavers

1550 search results - page 242 / 310
» Optimizing search by showing results in context
Sort
View
DAC
2002
ACM
16 years 7 months ago
TCG-S: orthogonal coupling of P*-admissible representations for general floorplans
We extend in this paper the concept of the P-admissible floorplan representation to that of the P*-admissible one. A P*-admissible representation can model the most general floorp...
Jai-Ming Lin, Yao-Wen Chang
INFOCOM
2006
IEEE
16 years 7 days ago
Resource Allocation for Multicast Services in Multicarrier Wireless Communications
— We consider a multicast resource allocation problem for the downlink in OFDM-based wireless cellular network systems. In a conventional multicast system, to accommodate users w...
Changho Suh, Jeonghoon Mo
GECCO
2005
Springer
118views Optimization» more  GECCO 2005»
15 years 11 months ago
Learning basic navigation for personal satellite assistant using neuroevolution
The Personal Satellite Assistant (PSA) is a small robot proposed by NASA to assist astronauts who are living and working aboard the space shuttle or space station. To help the ast...
Yiu-Fai Sit, Risto Miikkulainen
KR
2000
Springer
15 years 9 months ago
Reduction rules and universal variables for first order tableaux and DPLL
Recent experimental results have shown that the strength of resolution, the propositional DPLL procedure, the KSAT procedure for description logics, or related tableau-like implem...
Fabio Massacci
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
15 years 6 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....