12981 search results - page 2288 / 2597 » Model Checking (Abstract) |
147
click to vote
CIA
2004
Springer
15 years 10 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
149
click to vote
CIA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
127
click to vote
CIVR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...
131
click to vote
COCOON
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The supply chain between manufacturers and retailers always includes transshipments through a network of locations. A major challenge in making demand meet supply has bee...
134
Voted
COLT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider the problem of estimating an unknown probability distribution from samples using the principle of maximum entropy (maxent). To alleviate overfitting with a v...