Sciweavers

3019 search results - page 91 / 604
» Approximating the Domatic Number
Sort
View
IAT
2005
IEEE
15 years 5 months ago
An Approximate Pareto Optimal Cooperative Negotiation Model for Multiple
Cooperative negotiation is proved to be an effective paradigm to solve complex dynamic multi-objective problems in which each objective is associated to an agent. When the multi-o...
Nicola Gatti, Francesco Amigoni
ICIP
2005
IEEE
15 years 5 months ago
Multispectral loss-less compression using approximation methods
— The large size of multispectral data files is currently a major issue in multispectral imaging. The transmission of multispectral data over networks, as well as the storage of ...
Paolo Pellegri, Gianluca Novati, Raimondo Schettin...
CAV
2005
Springer
122views Hardware» more  CAV 2005»
15 years 5 months ago
Interpolant-Based Transition Relation Approximation
Abstract. In predicate abstraction, exact image computation is problematic, requiring in the worst case an exponential number of calls to a decision procedure. For this reason, sof...
Ranjit Jhala, Kenneth L. McMillan
ATAL
2005
Springer
15 years 5 months ago
A decentralized bargaining protocol on dependent continuous multi-issue for approximate pareto optimal outcomes
Negotiation techniques have been demonstrated to be effective in solving complex multi-objective problems. When the optimization process operates on continuous variables, it can b...
Nicola Gatti, Francesco Amigoni
COMPGEOM
2000
ACM
15 years 4 months ago
Computing approximate shortest paths on convex polytopes
The algorithms for computing a shortest path on a polyhedral surface are slow, complicated, and numerically unstable. We have developed and implemented a robust and efficient algo...
Pankaj K. Agarwal, Sariel Har-Peled, Meetesh Karia