2766 search results - page 49 / 554 » Hybridizing a Logical Framework |
101
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. We describe the instance store, a system for reasoning about individuals (i.e., instances of classes) in OWL ontologies. By using a hybrid reasoner/database architecture,...
139
Voted
PERCOM
2007
ACM
15 years 10 months ago
2007
ACM
The CARE middleware aims at supporting contextaware adaptation of Internet services in a mobile computing environment. The CARE hybrid reasoning mechanism is based on a loose inte...
138
Voted
LOGCOM
2006
15 years 3 months ago
2006
In reference (Foundation of specification. Journal of Logic and Computation, 15, 951
156
click to vote
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
In this contribution, a hybrid algorithm combining Differential Evolution and IPOP-CMA-ES is presented and benchmarked on the BBOB 2010 noiseless testbed. The hybrid algorithm ha...
138
Voted
GECCO
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, a hybrid algorithm based on the Multiple Offspring Sampling framework is presented and benchmarked on the BBOB-2010 noisy testbed. MOS allows the seamless combinat...