Sciweavers

1847 search results - page 165 / 370
» Hybrid Functional Interpretations
Sort
View
KES
2004
Springer
15 years 11 months ago
Fuzzy Kolmogorov's Network
A spline-based modification of the previously developed Neuro-Fuzzy Kolmogorov's Network (NFKN) is proposed. In order to improve the approximation accuracy, cubic B-splines ar...
Vitaliy Kolodyazhniy, Yevgeniy Bodyanskiy
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 9 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
JSS
2007
89views more  JSS 2007»
15 years 5 months ago
The DYNAMOS approach to support context-aware service provisioning in mobile environments
To efficiently make use of information and services available in ubiquitous environments, mobile users need novel means for locating relevant content, where relevance has a user-s...
Oriana Riva, Santtu Toivonen
KI
2007
Springer
15 years 5 months ago
Solving Decentralized Continuous Markov Decision Problems with Structured Reward
We present an approximation method that solves a class of Decentralized hybrid Markov Decision Processes (DEC-HMDPs). These DEC-HMDPs have both discrete and continuous state variab...
Emmanuel Benazera
JMLR
2012
13 years 8 months ago
Message-Passing Algorithms for MAP Estimation Using DC Programming
We address the problem of finding the most likely assignment or MAP estimation in a Markov random field. We analyze the linear programming formulation of MAP through the lens of...
Akshat Kumar, Shlomo Zilberstein, Marc Toussaint