Sciweavers

6884 search results - page 341 / 1377
» The macro-structure of use of help
Sort
View
AMAI
2008
Springer
15 years 7 months ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
ANOR
2010
116views more  ANOR 2010»
15 years 7 months ago
A model and case study for efficient shelf usage and assortment analysis
In the rapidly changing environment of Fast Moving Consumer Goods sector where new product launches are frequent, retail channels need to reallocate their shelf spaces intelligent...
Mehmet Murat Fadiloglu, Oya Ekin Karasan, Mustafa ...
AUTOMATICA
2008
106views more  AUTOMATICA 2008»
15 years 7 months ago
Constructive stabilization for quadratic input nonlinear systems
In this paper stabilization of nonlinear systems with quadratic multi-input is considered. With the help of control Lyapunov function (CLF), a constructive parameterization of con...
Jianghua Zhong, Daizhan Cheng, Xiaoming Hu
152
Voted
CCR
2010
110views more  CCR 2010»
15 years 7 months ago
Measurement lab: overview and an invitation to the research community
Measurement Lab (M-Lab) is an open, distributed server platform for researchers to deploy active Internet measurement tools. The goal of M-Lab is to advance network research and e...
Constantine Dovrolis, P. Krishna Gummadi, Aleksand...
CCE
2008
15 years 7 months ago
A fuzzy multiobjective algorithm for multiproduct batch plant: Application to protein production
This paper addresses the problem of the optimal design of batch plants with imprecise demands and proposes an alternative treatment of the imprecision by using fuzzy concepts. For...
A. Dietz, Alberto A. Aguilar-Lasserre, Catherine A...