2335 search results - page 388 / 467 » Functional Differentiation of Computer Programs |
118
Voted
LACL
2001
Springer
15 years 6 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
156
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
119
click to vote
MP
2008
15 years 2 months ago
2008
This paper proposes an efficient computational technique for the optimal control of linear discrete-time systems subject to bounded disturbances with mixed polytopic constraints o...
106
click to vote
AUTOMATICA
2006
15 years 2 months ago
2006
This paper is concerned with the optimal control of linear discrete-time systems, which are subject to unknown but bounded state disturbances and mixed constraints on the state an...
135
click to vote
BMCBI
2004
15 years 2 months ago
2004
Background: The general problem of RNA secondary structure prediction under the widely used thermodynamic model is known to be NP-complete when the structures considered include a...