4418 search results - page 657 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
192
click to vote
ERLANG
2003
ACM
15 years 11 months ago
2003
ACM
In this paper, some experiences of using the concurrent functional language Erlang to implement a classical vertical application, a risk management information system, are present...
160
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— We consider decision-making problems in Markov decision processes where both the rewards and the transition probabilities vary in an arbitrary (e.g., nonstationary) fashion. We...
162
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— This paper presents a methodology for the decentralised control of multiple 3-dimensional nonholonomic agents. The proposed control scheme is based on Navigation Functi...
171
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
Many realistic visual recognition tasks are “open” in the sense that the number and nature of the categories to be learned are not initially known, and there is no closed set ...
166
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this position paper we introduce Cooperative Artefacts, physical objects that embed sensing, communication, computation and actuation in physical objects. In contrast to many ot...