303 search results - page 19 / 61 » Composing Requirements Using Problem Frames |
LISA
2003
13 years 9 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
ERLANG
2007
ACM
13 years 11 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
ICTAI
2000
IEEE
13 years 11 months ago
2000
IEEE
Markov Decision Processes (MDP) have been widely used as a framework for planning under uncertainty. They allow to compute optimal sequences of actions in order to achieve a given...
AAAI
2007
13 years 9 months ago
2007
The problem of locating motifs in real-valued, multivariate time series data involves the discovery of sets of recurring patterns embedded in the time series. Each set is composed...
ICIP
2008
IEEE
14 years 9 months ago
2008
IEEE
An algorithm for video resolution enhancement is presented. The approach borrows from previous methods for still-image superresolution, introducing modifications better suited for...