5639 search results - page 240 / 1128 » Timed Abstract Non-interference |
168
click to vote
ECEASST
2010
15 years 18 days ago
2010
Abstract: An experiment in providing volunteer cloud computing support for automated audits of open source code is described here, along with the supporting theory. Certification a...
133
click to vote
ICMLA
2010
15 years 16 days ago
2010
Abstract--In the Relational Reinforcement learning framework, we propose an algorithm that learns an action model allowing to predict the resulting state of each action in any give...
142
click to vote
INFORMS
2010
15 years 15 days ago
2010
use for constraint solving, abstract interpretation, spatial databases, and theorem proving. In this paper we develop new incremental algorithms for UTVPI constraint satisfaction a...
153
click to vote
ACIVS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper presents a novel approach for estimating the geometric distance from a given point to the corresponding implicit quadric curve/surface. The proposed estimation...
146
click to vote
ANOR
2011
14 years 10 months ago
2011
Abstract. Scheduling problems in the forest industry have received significant attention in the recent years and have contributed many challenging applications for optimization te...