Sciweavers

497 search results - page 40 / 100
» A Really Good Idea
Sort
View
FSTTCS
2008
Springer
13 years 11 months ago
Boolean algebras of unambiguous context-free languages
Several recent works have studied subfamilies of deterministic context-free languages with good closure properties, for instance the families of input-driven or visibly pushdown la...
Didier Caucal
ACTA
2007
114views more  ACTA 2007»
13 years 10 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
CORR
2010
Springer
139views Education» more  CORR 2010»
13 years 10 months ago
A finiteness structure on resource terms
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
Thomas Ehrhard
ENGL
2008
68views more  ENGL 2008»
13 years 10 months ago
Robust Adaptive Control of a Large Spacecraft
This paper deals with the applicability of Robust Adaptive Control to the attitude motion control of large spacecraft. Large spacecraft and space structures, such as large communic...
Shinichi Tsuda, Koichi Sakano
INFORMS
2008
62views more  INFORMS 2008»
13 years 10 months ago
A Stochastic Approximation Method to Compute Bid Prices in Network Revenue Management Problems
We present a stochastic approximation method to compute bid prices in network revenue management problems. The key idea is to visualize the total expected revenue as a function of...
Huseyin Topaloglu