Sciweavers

1416 search results - page 88 / 284
» An Exact Interpretation of While
Sort
View
COCOA
2008
Springer
14 years 29 days ago
Efficient Method for Periodic Task Scheduling with Storage Requirement Minimization
Abstract. In this paper, we study an efficient approximate integer linear programming formulation of the general problem of one-dimensional periodic task scheduling under storage r...
Karine Deschinkel, Sid Ahmed Ali Touati
AMW
2010
14 years 19 days ago
Chasing after Secrets in Relational Databases
Abstract. Inference control can guarantee confidentiality but is costly to implement. Access control can be implemented efficiently but cannot guarantee confidentiality. Hence, it ...
Joachim Biskup, Sven Hartmann, Sebastian Link, Jan...
CCCG
2007
14 years 19 days ago
A Disk-Covering Problem with Application in Optical Interferometry
Given a disk O in the plane called the objective, we want to find n small disks P1, . . . , Pn called the pupils such that n i,j=1 Pi Pj ⊇ O, where denotes the Minkowski diffe...
Trung Nguyen, Jean-Daniel Boissonnat, Fréd&...
ICWSM
2008
14 years 19 days ago
Blog Link Classification
Blog links raise three key questions: Why did the author make the link, what exactly is he pointing at, and what does he feel about it? In response to these questions we introduce...
Justin Martineau, Matthew Hurst
IJCAI
2007
14 years 18 days ago
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs
Hypertree decomposition has been shown to be the most general CSP decomposition method. However, so far the exact methods are not able to find optimal hypertree decompositions of...
Sathiamoorthy Subbarayan, Henrik Reif Andersen