837 search results - page 96 / 168 » Proof Development with OMEGA |
84
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The article is meant to be kind of the author's manifesto for the role of logic and deduction within Intellectics. Based on a brief analysis of this role the paper presents a...
95
Voted
DEXAW
2004
IEEE
15 years 4 months ago
2004
IEEE
The overall goal of this research is to improve the `environment awareness' aspect of personal autonomic computing. Personal Computing offers unique challenges for self-manag...
CP
2006
Springer
15 years 4 months ago
2006
Springer
We consider probabilistic constrained linear programs with general distributions for the uncertain parameters. These problems generally involve non-convex feasible sets. We develo...
96
Voted
LPNMR
1995
Springer
15 years 4 months ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
115
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...