1173 search results - page 167 / 235 » Program Derivation Using Analogy |
148
click to vote
TYPES
1995
Springer
15 years 6 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
116
click to vote
AIPS
2008
15 years 4 months ago
2008
We address the problem of coordinating the plans and schedules for a team of agents in an uncertain and dynamic environment. Bounded rationality, bounded communication, subjectivi...
120
click to vote
ISMB
1998
15 years 3 months ago
1998
DNA sequence analysis depends on the accurate assembly of fragment reads for the determination of a consensus sequence. This report examines the possibility of analyzing multiple,...
AUTOMATICA
2008
15 years 2 months ago
2008
This paper considers control of nonstationary linear parameter-varying systems, and is motivated by interest in the control of nonlinear systems along prespecified trajectories. I...
112
click to vote
EOR
2007
15 years 2 months ago
2007
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...