5639 search results - page 334 / 1128 » Timed Abstract Non-interference |
152
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
We develop an algorithm for opponent modeling in large extensive-form games of imperfect information. It works by observing the opponent’s action frequencies and building an opp...
208
click to vote
CMS
2011
14 years 3 months ago
2011
Abstract. Cloud computing promises a cost effective enabling technology to outsource storage and massively parallel computations. However, existing approaches for provably secure ...
161
Voted
CP
2011
Springer
14 years 3 months ago
2011
Springer
Abstract. In this paper we present a model for the carpet cutting problem in which carpet shapes are cut from a rectangular carpet roll with a fixed width and sufficiently long le...
181
click to vote
CRV
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—The idea of an online visual vocabulary is proposed. In contrast to the accepted strategy of generating vocabularies offline, using the k-means clustering over all the ...
146
Voted
DCOSS
2011
Springer
14 years 3 months ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...