236 search results - page 28 / 48 » Binary Partitions Revisited |
104
click to vote
APPROX
2006
Springer
15 years 4 months ago
2006
Springer
In the minimum entropy set cover problem, one is given a collection of k sets which collectively cover an n-element ground set. A feasible solution of the problem is a partition o...
ENTCS
2006
15 years 21 days ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
98
Voted
AUTOMATICA
2006
15 years 22 days ago
2006
This paper revisits a well-known synthesis problem in iterative learning control, where the objective is to optimize a performance criterion over a class of causal iterations. The...
120
click to vote
ICDE
2012
IEEE
13 years 3 months ago
2012
IEEE
Abstract—This paper revisits the classical problem of multiquery optimization in the context of RDF/SPARQL. We show that the techniques developed for relational and semi-structur...
98
Voted
DCC
2002
IEEE
16 years 8 days ago
2002
IEEE
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...