Sciweavers

1512 search results - page 157 / 303
» connection 2006
Sort
View
ECAI
2006
Springer
15 years 8 months ago
On the Logic of Theory Change: Relations Between Incision and Selection Functions
This work elaborates on the connection between partial meet contractions and kernel contractions in belief change theory. We present a way to define incision functions (used in ker...
Marcelo A. Falappa, Eduardo L. Fermé, Gabri...
ECBS
2006
IEEE
116views Hardware» more  ECBS 2006»
15 years 8 months ago
WSN-based Intelligent Telematics System
With the wireless communication network and location data, the existing telematics system provides various information services such as navigation, emergency service, and etc. In ...
Jung-sick Byun, Woo-Suk Shim, Won-Kee Hong
EKAW
2006
Springer
15 years 8 months ago
A Formal Approach to Qualitative Reasoning on Topological Properties of Networks
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...
Andrea Rodríguez, Claudio Gutierrez
AAAI
2006
15 years 7 months ago
Point-based Dynamic Programming for DEC-POMDPs
We introduce point-based dynamic programming (DP) for decentralized partially observable Markov decision processes (DEC-POMDPs), a new discrete DP algorithm for planning strategie...
Daniel Szer, François Charpillet
DAGSTUHL
2006
15 years 7 months ago
On Complexity of Optimized Crossover for Binary Representations
We consider the computational complexity of producing the best possible offspring in a crossover, given two solutions of the parents. The crossover operators are studied on the cla...
Anton V. Eremeev