2705 search results - page 261 / 541 » Formal Ontology for Subject |
BCSHCI
2008
13 years 9 months ago
2008
Effective information retrieval is important not only for its own sake but also for improving our understanding and allowing us to evolve our information into knowledge and wisdom...
AAAI
2006
13 years 9 months ago
2006
We analyze the asymptotic behavior of agents engaged in an infinite horizon partially observable stochastic game as formalized by the interactive POMDP framework. We show that whe...
ENTCS
2006
13 years 8 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
SLOGICA
2002
13 years 8 months ago
2002
A survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places...
MICS
2010
13 years 6 months ago
2010
Abstract. In this paper we introduce the concept of an interactive mathematical document. We give a formal description of such a document, which enables us to introduce the notion ...