1585 search results - page 221 / 317 » A framework for computer-aided validation |
137
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper, we investigate the problem of 3D object categorization of objects typically present in kitchen environments, from data acquired using a composite sensor. Our fra...
106
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— The tasks of entrapping/escorting and patrolling around an autonomous target are presented making use of the multi-robot cluster space control approach. The cluster space contr...
142
click to vote
ADBIS
2009
Springer
15 years 10 months ago
2009
Springer
Continuous queries applied over nonterminating data streams usually specify windows in order to obtain an evolving –yet restricted– set of tuples and thus provide timely result...
133
click to vote
ADMI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study the problem of predictive data mining in the competitive multi-agent setting, in which each agent is assumed to have some partial knowledge needed for correctly ...
157
click to vote
XSYM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We propose a mapping from the Enhanced Entity Relationship conceptual model to the W3C XML Schema Language with the following properties: information and integrity constr...