4726 search results - page 844 / 946 » Domain Modeling of Software Process Models |
148
click to vote
SOCO
2010
Springer
14 years 9 months ago
2010
Springer
Decentralized partially observable Markov decision process (DEC-POMDP) is an approach to model multi-robot decision making problems under uncertainty. Since it is NEXP-complete the...
193
click to vote
FASE
2011
Springer
14 years 5 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
121
click to vote
IUI
2012
ACM
13 years 9 months ago
2012
ACM
The effort and time required to develop user interface models has been one of the main limitations to the adoption of model-based approaches, which enable intelligent processing o...
181
click to vote
PAMI
2012
13 years 4 months ago
2012
—We present a novel framework to generate and rank plausible hypotheses for the spatial extent of objects in images using bottom-up computational processes and mid-level selectio...
136
click to vote
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
This paper deals with energy-aware real-time system scheduling using dynamic voltage scaling (DVS) for energy-constrained embedded systems that execute variable and unpredictable ...