1173 search results - page 76 / 235 » Program Derivation Using Analogy |
137
Voted
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
We present a novel theory for characterizing defocus blurs in multi-perspective cameras such as catadioptric mirrors. Our approach studies how multi-perspective ray geometry trans...
122
Voted
EOR
2010
14 years 9 months ago
2010
We analyze the problem of pricing and hedging contingent claims in the multi-period, discrete time, discrete state case using the concept of a sufficiently attractive expected gai...
136
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
When software developers want to understand the reason for a program's behavior, they must translate their questions about the behavior into a series of questions about code,...
122
Voted
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
255
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
Over the years, the stable-model semantics has gained a position of the correct (two-valued) interpretation of default negation in programs. However, for programs with aggregates (...