1187 search results - page 201 / 238 » Graph-Based Procedural Abstraction |
74
Voted
ECAI
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We address the problem of continuous stochastic optimal control in the presence of hard obstacles. Due to the non-smooth character of the obstacles, the traditional appro...
GG
2010
Springer
14 years 10 months ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
FSTTCS
2008
Springer
14 years 10 months ago
2008
Springer
ABSTRACT. Multiset pushdown systems have been introduced by Sen and Viswanathan as an adequate model for asynchronous programs where some procedure calls can be stored as tasks to ...
CSDA
2008
14 years 9 months ago
2008
ABSTRACT. This paper introduces a tree-based model that combines aspects of CART (Classification and Regression Trees) and STR (Smooth Transition Regression). The model is called t...
62
Voted
CSDA
2008
14 years 9 months ago
2008
Abstract. To study the relationship between the levels of chemical pollutants and the number of daily total hospital admissions for respiratory diseases and to find the effect of t...