4451 search results - page 254 / 891 » Continuous model synthesis |
160
click to vote
CIE
2005
Springer
16 years 4 days ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
178
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily sequential functionals is not -complete and therefore not continuous in the traditional terminol...
211
click to vote
Lecture Notes
These notes cover several topics such as The classic capital asset pricing model, The CAPM in general equilibrium, Infinite horizon economies, Continuous time models, Asset pricing...
160
click to vote
MLQ
2008
15 years 6 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
182
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Accurate estimation of optical flow is a challenging task, which often requires addressing difficult energy optimization problems. To solve them, most top-performing methods rely ...