8874 search results - page 330 / 1775 » A New Implementation of Automath |
172
click to vote
ESANN
2004
15 years 8 months ago
2004
: In this paper we present a new self-tuning procedure for PID controllers based on neuro-predictive control. A finite horizon optimal control problem is solved on-line, permitting...
152
click to vote
EUROPLOP
2006
15 years 8 months ago
2006
This short paper is concerned with the use of patterns to support the development of software for reliable, resource-constrained, embedded systems. The paper introduces one new pa...
117
click to vote
ECIS
2001
15 years 8 months ago
2001
Work in today's economic organisations is either performed through the execution of continuous operations or through the implementation of one-off projects; hence one can dis...
160
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper introduces a new approach to draw up business competencies as well as to facilitate their exchange and diffusion through an e-marketplace. The business model and a view...
166
click to vote
DAGSTUHL
2003
15 years 8 months ago
2003
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...