602 search results - page 18 / 121 » Recursive in A Generic Real |
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Real Options for Project Schedules (ROPS) has three recursive sampling/optimization shells. An outer Adaptive Simulated Annealing (ASA) optimization shell optimizes parameters of ...
LICS
2002
IEEE
14 years 17 days ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...
ADG
2006
Springer
14 years 1 months ago
2006
Springer
It is known that five points in 3 generically determine a finite number of cylinders containing those points. We discuss ways in which it can be shown that the generic (complex) nu...
ICIP
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper discusses object-based representation of video shots acquired by a moving camera. Our approach uses an extraction of foreground regions capable of representing semantic...
CASC
2010
Springer
13 years 6 months ago
2010
Springer
Convexity is an important property in nonlinear optimization since it allows to apply efficient local methods for finding global solutions. We propose to apply symbolic methods t...