9626 search results - page 1306 / 1926 » Invariant Based Programming |
216
click to vote
DKE
2008
15 years 7 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
231
click to vote
EC
2008
15 years 7 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
162
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
Industrial implementation of model-based control methods, such as model predictive control, is often complicated by the lack of knowledge about the disturbances entering the syste...
169
click to vote
FGCS
2008
15 years 7 months ago
2008
A long-term trend in high-performance computing is the increasing number of nodes in parallel computing platforms, which entails a higher failure probability. Fault tolerant progr...
158
click to vote
COR
2006
15 years 7 months ago
2006
The objective of the present paper is to select the best compromise irrigation planning strategy for the case study of Jayakwadi irrigation project, Maharashtra, India. Four-phase...