Sciweavers

13553 search results - page 414 / 2711
» A Generalized Multi-View Approach
Sort
View
FUIN
2000
85views more  FUIN 2000»
15 years 6 months ago
Stubborn Sets for Model Checking the EF/AG Fragment of CTL
The general stubborn set approach to CTL model checking 2] has the drawback that one either nds a stubborn set with only one enabled transition or one has to expand all enabled tra...
Karsten Schmidt 0004
CMA
2010
87views more  CMA 2010»
15 years 4 months ago
A modified uniformization method for the solution of the chemical master equation
The chemical master equation is considered an accurate description of general chemical systems, and especially so for modeling cell cycle and gene regulatory networks. This paper ...
Jingwei Zhang, Layne T. Watson, Yang Cao
211
Voted
ICANN
2011
Springer
14 years 10 months ago
Learning Curves for Gaussian Processes via Numerical Cubature Integration
This paper is concerned with estimation of learning curves for Gaussian process regression with multidimensional numerical integration. We propose an approach where the recursion e...
Simo Särkkä
IJCAI
1989
15 years 8 months ago
Preferred Subtheories: An Extended Logical Framework for Default Reasoning
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of the premises. This framework subsumes David Poole&#...
Gerhard Brewka
EMSOFT
2010
Springer
15 years 4 months ago
Components, platforms and possibilities: towards generic automation for MDA
Model-driven architecture (MDA) is a model-based approach for engineering complex software systems. MDA is particularly attractive for designing embedded systems because models ca...
Ethan K. Jackson, Eunsuk Kang, Markus Dahlweid, Di...