Sciweavers

2877 search results - page 217 / 576
» Complex Decision Making Processes: their Modelling and Suppo...
Sort
View
IJCAI
2007
15 years 8 months ago
A Hybridized Planner for Stochastic Domains
Markov Decision Processes are a powerful framework for planning under uncertainty, but current algorithms have difficulties scaling to large problems. We present a novel probabil...
Mausam, Piergiorgio Bertoli, Daniel S. Weld
BIRTHDAY
2010
Springer
15 years 7 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
ICASSP
2008
IEEE
16 years 29 days ago
Minimum mean bayes risk error quantization of prior probabilities
Bayesian hypothesis testing is investigated when the prior probabilities of the hypotheses, taken as a random vector, must be quantized. Nearest neighbor and centroid conditions f...
Kush R. Varshney, Lav R. Varshney
IEAAIE
2009
Springer
15 years 4 months ago
Constructing Decisional DNA on Renewable Energy: A Case Study
Knowledge engineering techniques are becoming useful and popular components of hybrid integrated systems used to solve complicated practical problems in different fields. Knowledge...
Cesar Sanín, Edward Szczerbicki
SIPS
2006
IEEE
16 years 15 days ago
Automated Architectural Exploration for Signal Processing Algorithms
Abstract— This paper presents a design environment for efficiently generating application-specific Intellectual Property (IP) cores for system level signal processing algorithm...
Ramsey Hourani, Ravi Jenkal, W. Rhett Davis, Winse...