4350 search results - page 782 / 870 » Case studies for contract-based systems |
139
Voted
VISSYM
2007
15 years 6 months ago
2007
Viewpoint selection is crucial for medical intervention planning. The interactive exploration of a scene with 3d objects involves the systematic analysis of several anatomic struc...
130
Voted
COMMA
2008
15 years 5 months ago
2008
This paper describes a method for decision making using argumentation. The method is intended to produce the decision considered most likely to promote the agent's aims and as...
169
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Combinatorial auctions have been studied by the multiagent systems community for some time, since these auctions are an effective mechanism for resource allocation when agents are...
135
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
129
Voted
CCE
2006
15 years 3 months ago
2006
The class of stochastic nonlinear programming (SNLP) problems is important in optimization due to the presence of nonlinearity and uncertainty in many applications, including thos...