Sciweavers

15636 search results - page 2883 / 3128
» Modelling by supersaturated designs
Sort
View
CCE
2004
15 years 6 months ago
A strategy for MINLP synthesis of flexible and operable processes
This paper presents a sequential two-stage strategy for the stochastic synthesis of chemical processes in which flexibility and ability to adjust manipulated variables are taken i...
Zorka Novak Pintaric, Zdravko Kravanja
AI
2000
Springer
15 years 6 months ago
On agent-based software engineering
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
Nicholas R. Jennings
BELL
2000
107views more  BELL 2000»
15 years 6 months ago
Automating software feature verification
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
Gerard J. Holzmann, Margaret H. Smith
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
15 years 1 months ago
The role of social feedback in steady-state performance of human decision making for two-alternative choice tasks
With an eye towards design of human-in-the-loop systems, we investigate human decision making in a social context for tasks that require the human to make repeated choices among fi...
Andrew Reed Stewart, Naomi Ehrich Leonard
CORR
2011
Springer
176views Education» more  CORR 2011»
15 years 1 months ago
Inner approximations for polynomial matrix inequalities and robust stability regions
Following a polynomial approach, many robust fixed-order controller design problems can be formulated as optimization problems whose set of feasible solutions is modelled by para...
Didier Henrion, Jean B. Lasserre
« Prev « First page 2883 / 3128 Last » Next »