Sciweavers

1593 search results - page 96 / 319
» An Intelligent Model and Its Implementation of Search Engine
Sort
View
147
Voted
IWSAS
2001
Springer
15 years 8 months ago
Adaptive Agent Based System for State Estimation Using Dynamic Multidimensional Information Sources
: This paper describes a new approach for the creation of an adaptive system able to selectively combine dynamic multidimensional information sources to perform state estimation. T...
Alvaro Soto, Pradeep K. Khosla
126
Voted
AE
2003
Springer
15 years 7 months ago
ParaDisEO-Based Design of Parallel and Distributed Evolutionary Algorithms
ParaDisEO is a framework dedicated to the design of parallel and distributed metaheuristics including local search methods and evolutionary algorithms. This paper focuses on the la...
Sébastien Cahon, Nordine Melab, El-Ghazali ...
143
Voted
CIA
2008
Springer
15 years 5 months ago
A Formal Approach to Aggregated Belief Formation
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
Annerieke Heuvelink, Michel C. A. Klein, Jan Treur
148
Voted
ICTAI
2007
IEEE
15 years 10 months ago
Adaptive Lookahead for Answer Set Computation
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
Guohua Liu, Jia-Huai You
131
Voted
JOLLI
2007
128views more  JOLLI 2007»
15 years 3 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...