5084 search results - page 321 / 1017 » Proving Possibility Properties |
202
click to vote
ASIAN
2003
Springer
15 years 12 months ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
161
click to vote
CAEPIA
2003
Springer
15 years 12 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...
202
click to vote
COLT
2003
Springer
15 years 12 months ago
2003
Springer
This paper extends the game-theoretic notion of internal regret to the case of on-line potfolio selection problems. New sequential investment strategies are designed to minimize th...
168
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper, we suggest that it should be possible to come closer to the Semantic Web goals by enhancing the ontology paradigm and, in particular, by supplementing the ‘tradit...
131
click to vote
CLEF
2001
Springer
15 years 11 months ago
2001
Springer
Participating in a text retrieval conference for the first time, Eidetica has run six minimalistic tests with its t·repository indexer, doing as little tuning as possible, in ord...