Sciweavers

2705 search results - page 307 / 541
» Formal Ontology for Subject
Sort
View
SIGIR
2009
ACM
15 years 7 months ago
The ESA retrieval model revisited
Among the retrieval models that have been proposed in the last years, the ESA model of Gabrilovich and Markovitch received much attention. The authors report on a significant imp...
Maik Anderka, Benno Stein
81
Voted
HICSS
2008
IEEE
133views Biometrics» more  HICSS 2008»
15 years 7 months ago
Towards a Belief-Theoretic Model for Collaborative Conceptual Model Development
Merging and integrating different conceptual models which have been developed by domain experts and analysts with dissimilar perspectives on the same issue has been the subject of...
Ebrahim Bagheri, Ali A. Ghorbani
ATAL
2007
Springer
15 years 7 months ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
ATAL
2007
Springer
15 years 7 months ago
Modular interpreted systems
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
Wojciech Jamroga, Thomas Ågotnes
88
Voted
ATAL
2007
Springer
15 years 7 months ago
Collaboration among a satellite swarm
The paper deals with on-board planning for a satellite swarm via communication and negotiation. We aim at defining individual behaviours that result in a global behaviour that me...
Grégory Bonnet, Catherine Tessier