Sciweavers

59 search results - page 9 / 12
» Tensor-product monotonicity preservation
Sort
View
APPROX
2009
Springer
142views Algorithms» more  APPROX 2009»
14 years 3 months ago
Truthful Mechanisms via Greedy Iterative Packing
An important research thread in algorithmic game theory studies the design of efficient truthful mechanisms that approximate the optimal social welfare. A fundamental question is ...
Chandra Chekuri, Iftah Gamzu
FROCOS
2007
Springer
14 years 2 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans
ICCSA
2007
Springer
14 years 2 months ago
On Optimization of the Importance Weighted OWA Aggregation of Multiple Criteria
The problem of aggregating multiple numerical criteria to form overall objective functions is of considerable importance in many disciplines. The ordered weighted averaging (OWA) a...
Wlodzimierz Ogryczak, Tomasz Sliwinski
IPPS
2006
IEEE
14 years 2 months ago
Checkpointing and rollback-recovery protocol for mobile systems with MW session guarantee
In the mobile environment, weak consistency replication of shared data is the key to obtaining high data availability, good access performance, and good scalability. Therefore new...
Jerzy Brzezinski, Anna Kobusinska, Michal Szychowi...
ICCS
2004
Springer
14 years 1 months ago
An Incremental Editor for Dynamic Hierarchical Drawing of Trees
We present an incremental tree editor based on algorithms for manipulating shape functions. The tree layout is hierarchical, left-to-right. Nodes of variable size and shape are sup...
David Workman, Margaret Bernard, Steven Pothoven