Sciweavers

1518 search results - page 163 / 304
» Exact and Approximate Bandwidth
Sort
View
WWW
2005
ACM
15 years 10 months ago
Automated semantic web services orchestration via concept covering
We exploit the recently proposed Concept Abduction inference service in Description Logics to solve Concept Covering problems. We propose a framework and polynomial greedy algorit...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....
ICFP
2003
ACM
15 years 10 months ago
Representing reductions of NP-complete problems in logical frameworks: a case study
Under the widely believed conjecture P=NP, NP-complete problems cannot be solved exactly using efficient polynomial time algorithms. Furthermore, any instance of a NP-complete pro...
Carsten Schürmann, Jatin Shah
ICS
2010
Tsinghua U.
15 years 7 months ago
Market Equilibrium under Separable, Piecewise-Linear, Concave Utilities
We consider Fisher and Arrow-Debreu markets under additively-separable, piecewise-linear, concave utility functions, and obtain the following results: ? For both market models, if...
Vijay V. Vazirani, Mihalis Yannakakis
ICCD
2002
IEEE
110views Hardware» more  ICCD 2002»
15 years 7 months ago
Efficient PEEC-Based Inductance Extraction Using Circuit-Aware Techniques
Practical approaches for on-chip inductance extraction to obtain a sparse, stable and accurate inverse inductance matrix K are proposed. The novelty of our work is in using circui...
Haitian Hu, Sachin S. Sapatnekar
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
15 years 5 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...