Sciweavers

949 search results - page 127 / 190
» Theory of Constraints
Sort
View
100
Voted
CSL
2006
Springer
15 years 4 months ago
Game Quantification on Automatic Structures and Hierarchical Model Checking Games
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
Lukasz Kaiser
122
Voted
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 20 days ago
Distributed Constrained Optimization with Semicoordinate Transformations
Recent work has shown how information theory extends conventional full-rationality game theory to allow bounded rational agents. The associated mathematical framework can be used ...
William G. Macready, David Wolpert
104
Voted
JACM
2000
81views more  JACM 2000»
15 years 11 days ago
Relational queries over interpreted structures
We rework parts of the classical relational theory when the underlying domain is a structure with some interpreted operations that can be used in queries. We identify parts of the...
Michael Benedikt, Leonid Libkin
SIAMJO
2010
136views more  SIAMJO 2010»
14 years 7 months ago
A New Exchange Method for Convex Semi-Infinite Programming
In this paper we propose a new exchange method for solving convex semi-infinite programming (CSIP) problems. We introduce a new dropping-rule in the proposed exchange algorithm, wh...
Liping Zhang, Soon-Yi Wu, Marco A. López
118
Voted
AMET
1998
Springer
15 years 4 months ago
Agent-Mediated Integrative Negotiation for Retail Electronic Commerce
Software agents help automate a variety of tasks including those involved in buying and selling products over the Internet. Although shopping agents provide convenience for consume...
Robert H. Guttman, Pattie Maes