Sciweavers

3677 search results - page 428 / 736
» Generalized Adaptive A*
Sort
View
ENTCS
2007
116views more  ENTCS 2007»
15 years 7 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
MP
2006
137views more  MP 2006»
15 years 7 months ago
New algorithms for singly linearly constrained quadratic programs subject to lower and upper bounds
There are many applications related to singly linearly constrained quadratic programs subjected to upper and lower bounds. In this paper, a new algorithm based on secant approximat...
Yu-Hong Dai, Roger Fletcher
174
Voted
SCL
2008
86views more  SCL 2008»
15 years 7 months ago
Control design in the time and frequency domain using nonsmooth techniques
Significant progress in control design has been achieved by the use of nonsmooth and semiinfinite mathematical programming techniques. In contrast with LMI or BMI approaches, thes...
Vincent Bompart, Pierre Apkarian, Dominikus Noll
ANOR
2005
124views more  ANOR 2005»
15 years 7 months ago
On Compact Formulations for Integer Programs Solved by Column Generation
Column generation has become a powerful tool in solving large scale integer programs. It is well known that most of the often reported compatibility issues between pricing subprobl...
Daniel Villeneuve, Jacques Desrosiers, Marco E. L&...
213
Voted
JCM
2007
81views more  JCM 2007»
15 years 7 months ago
Some Analysis in Distributed MIMO Systems
Abstract—The predicted capacity gain of a traditional colocated MIMO system is often severely limited in realistic propagation scenarios, especially when the number of antennas b...
Huaiyu Dai, Hongyuan Zhang, Quan Zhou