1948 search results - page 297 / 390 » Formalizing Mirror Theory |
SAC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
This paper develops a general, formal framework for modeling term dependencies via Markov random fields. The model allows for arbitrary text features to be incorporated as eviden...
SIGIR
2005
ACM
15 years 5 months ago
2005
ACM
When investigating alternative estimates for term discriminativeness, we discovered that relevance information and idf are much closer related than formulated in classical literat...
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
100
click to vote
ATAL
2005
Springer
15 years 5 months ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...