120 search results - page 1 / 24 » Loops under Strategies ... Continued |
CORR
2010
Springer
13 years 3 months ago
2010
Springer
RTA
2009
Springer
13 years 11 months ago
2009
Springer
Most techniques to automatically disprove termination of term rewrite systems search for a loop. Whereas a loop implies nontermination for full rewriting, this is not necessarily t...
AUTOMATICA
2006
13 years 5 months ago
2006
In this paper, we propose to regulate the output of an auto-catalytic bioprocess (a biological process associated with a growth of a micro-organism) by means of a recirculation lo...
SEFM
2009
IEEE
13 years 11 months ago
2009
IEEE
—Increasingly, tools and their underlying theories are able to cope with “real code” written as part of industrial grade applications almost as is. It has been our experience...
WSC
2008
13 years 7 months ago
2008
The aim of this paper is to investigate how different smoothing parameter levels of the Automatic Pipeline Inventory and Order Based Production Control System smoothing replenishm...