7167 search results - page 1025 / 1434 » Answer Set Programming |
102
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
Since participants in a computational Grid may be independent bodies, some mechanisms are necessary for resolving their differences. The contribution of this work is designing a b...
123
Voted
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
121
Voted
FOCS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we introduce a new general framework for set covering problems, based on the combination of randomized rounding of the (near-)optimal solution of the Linear Programm...
136
Voted
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, the merging of tw...
124
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Video composition is important for music video production. In this paper we propose an automatic method to assist the music sports video composition operation. Our approach is bas...