5210 search results - page 676 / 1042 » Exact geometric computation |
125
click to vote
AAAI
1997
15 years 5 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
126
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
131
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
149
click to vote
ECRTS
2010
IEEE
15 years 4 months ago
2010
IEEE
—In distributed real-time embedded systems (DRE), it is common to model an application as a set of task chains. Each chain is activated cyclically and must complete before an end...
143
click to vote
AI
2008
Springer
15 years 4 months ago
2008
Springer
The current best conformant probabilistic planners encode the problem as a bounded length CSP or SAT problem. While these approaches can find optimal solutions for given plan leng...