2695 search results - page 279 / 539 » The Complexity of Forecast Testing |
118
click to vote
ACL
1996
15 years 5 months ago
1996
This paper deals with the discovery, representation, and use of lexical rules (LRs) during large-scale semi-automatic computational lexicon acquisition. The analysis is based on a...
162
click to vote
BMVC
1996
15 years 5 months ago
1996
This paper describes the continuing development of a system for tracking multiple man made objects, (typically vehicles) moving in a natural open world scene, where the detected m...
MVA
1994
15 years 5 months ago
1994
This paper presents a new approach including passive and actriveprocesses to deal with the image segmentation and pattern recognition to a color blindness plate (CBP). The CBP is ...
142
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
159
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Evolution Strategies (ES) for black-box optimization of a function f : Rn → R are investigated. Namely, we consider the cumulative step-size adaptation (CSA) for the variance of...