Sciweavers

4586 search results - page 154 / 918
» Computing stable models in parallel
Sort
View
92
Voted
IJCAI
1989
15 years 4 months ago
On Cooperation in a Multi-Entity Model
The problem of modeling a variety of domains within the framework of one general scheme is of central importance in AI. This paper presents the MultiEntity model for multi-agent p...
Moshe Tennenholtz, Yoram Moses
147
Voted
ICSEA
2009
IEEE
15 years 10 months ago
Rule-Based Service Modeling
— In the context of service-oriented computing, services provide the capabilities necessary to support the business, especially its processes. Within the service modeling process...
Michael Gebhart, Sebastian Abeck
117
Voted
IROS
2008
IEEE
106views Robotics» more  IROS 2008»
15 years 10 months ago
Visual servoing from two special compounds of features using a spherical projection model
— This paper is concerned with the use of a spherical projection model to design optimal visual features for visual servoing. Here two special targets are considered: a sphere ma...
Romeo Tatsambon Fomena, François Chaumette
107
Voted
EPIA
2007
Springer
15 years 9 months ago
Modelling Morality with Prospective Logic
This paper shows how moral decisions can be drawn computationally by using prospective logic programs. These are employed to model moral dilemmas, as they are able to prospectively...
Luís Moniz Pereira, Ari Saptawijaya
141
Voted
FORMATS
2007
Springer
15 years 7 months ago
CSL Model Checking Algorithms for Infinite-State Structured Markov Chains
Jackson queueing networks (JQNs) are a very general class of queueing networks that find their application in a variety of settings. The state space of the continuous-time Markov c...
Anne Remke, Boudewijn R. Haverkort