Sciweavers

17789 search results - page 169 / 3558
» Exceptional Use Cases
Sort
View
122
Voted
KES
2007
Springer
15 years 3 months ago
Experimental Analysis of the Aging Operator for Static and Dynamic Optimisation Problems
Abstract. This work presents an analysis of the static Aging operator for different evolutionary algorithms: two immunological algorithms (OptIA and Clonalg), a standard genetic a...
Mario Castrogiovanni, Giuseppe Nicosia, Rosario Ra...
IVC
2002
87views more  IVC 2002»
15 years 3 months ago
Critical motion sequences for the self-calibration of cameras and stereo systems with variable focal length
We consider the self-calibration problem for a moving camera whose intrinsic parameters are known, except the focal length, which may vary freely across different views. The condi...
Peter F. Sturm
121
Voted
MLQ
2002
95views more  MLQ 2002»
15 years 3 months ago
Invariant Logics
A modal logic is called invariant if for all automorphisms of NExt K, () = . An invariant logic is therefore uniquely determined by its surrounding in the lattice. It will be est...
Marcus Kracht
ICONIP
2009
15 years 1 months ago
"Dead" Chromosomes and Their Elimination in the Neuro-Genetic Stock Index Prediction System
This paper presents a method for a short-term stock index prediction. The source data comes from the German Stock Exchange (being the target market) and two other markets (Tokyo St...
Jacek Mandziuk, Marcin Jaruszewicz
159
Voted
IFM
2009
Springer
183views Formal Methods» more  IFM 2009»
15 years 1 months ago
Challenges in the Specification of Full Contracts
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
Gordon J. Pace, Gerardo Schneider