6141 search results - page 896 / 1229 » Models and representation of their ownership |
184
click to vote
ATVA
2005
Springer
16 years 10 days ago
2005
Springer
We introduce a family of temporal logics to specify the behavior of systems with Zeno behaviors. We extend linear-time temporal logic LTL to authorize models admitting Zeno sequen...
185
click to vote
CSCLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We adopt Benders’ decomposition algorithm to solve scenariobased Stochastic Constraint Programs (SCPs) with linear recourse. Rather than attempting to solve SCPs via a ...
184
click to vote
E4MAS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Even if the multi-agent paradigm has been evolving for fifteen years, the development of concrete methods for problem solving remains a major challenge. This paper focus...
195
click to vote
EPIA
2005
Springer
16 years 10 days ago
2005
Springer
Each part of a mobile robot has particular aspects of its own, which must be integrated in order to successfully conclude a specific task. Among these parts, sensing enables to co...
155
click to vote
IBPRIA
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...