300 search results - page 33 / 60 » Bilevel programming: A survey |
AAAI
2006
13 years 9 months ago
2006
Starting in the fall of 2005 our department began a large-scale effort to incorporate hands-on robotics in many of our courses, including our introductory computer science sequenc...
OMER
2001
13 years 9 months ago
2001
: This paper shows how architecture description languages can be tailored to the design of embedded automotive control software. Furthermore, graphical modeling means are put in an...
LISP
2008
13 years 7 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
ENGL
2007
13 years 7 months ago
2007
— Research on Just-in-Time (JIT), Total Quality Management (TQM), Total Productive Maintenance (TPM), Supply Chain Management (SCM), and Theory of Constraints (TOC) generally inv...
EATCS
2000
13 years 7 months ago
2000
Formulas of Hoare logic are asserted programs where is a program and , are assertions. The language of programs varies; in the survey [Apt 1980], one finds the language of wh...