Sciweavers

1847 search results - page 13 / 370
» Hybrid Functional Interpretations
Sort
View
GECCO
2010
Springer
182views Optimization» more  GECCO 2010»
15 years 1 months ago
Benchmarking CMA-EGS on the BBOB 2010 noisy function testbed
This paper describes the implementation and the results for CMA-EGS on the BBOB 2010 noisy testbed. The CMAEGS is a hybrid strategy which combines elements from gradient search an...
Steffen Finck, Hans-Georg Beyer
HOA
1993
15 years 2 months ago
Theory Interpretation in Simple Type Theory
Theory interpretation is a logical technique for relating one axiomatic theory to another with important applications in mathematics and computer science as well as in logic itself...
William M. Farmer
DLOG
2008
15 years 7 days ago
A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes
Hybrid EL-TBoxes combine general concept inclusions (GCIs), which are interpreted with descriptive semantics, with cyclic concept definitions, which are interpreted with greatest f...
Franz Baader, Novak Novakovik, Boontawee Suntisriv...
ACL
1994
14 years 11 months ago
A Hybrid Reasoning Model for Indirect Answers
This paper presents our implemented computational model for interpreting and generating indirect answers to Yes-No questions. Its main features are 1) a discourse-plan-based appro...
Nancy Green, Sandra Carberry
ICIAP
2003
ACM
15 years 10 months ago
Dense 3D interpretation of image sequences: a variational approach using anisotropic diffusion
The purpose of this study is to investigate a new method for recovering relative depth and 3D motion from a temporal sequence of monocular images. The method is direct insomuch as...
Hicham Sekkati, Amar Mitiche