Sciweavers

13376 search results - page 529 / 2676
» Problem Solving with
Sort
View
EOR
2006
51views more  EOR 2006»
15 years 7 months ago
The allocation of shared fixed costs
We consider the problem of sharing the fixed costs of facilities among a number of users. Although the problem can be formulated and solved as an Integer Programme this provides l...
Martin Butler, H. Paul Williams
JSYML
2002
66views more  JSYML 2002»
15 years 6 months ago
Proving Consistency of Equational Theories in Bounded Arithmetic
We consider equational theories for functions defined via recursion involving equations between closed terms with natural rules based on recursive definitions of the function symb...
Arnold Beckmann
JSC
2010
83views more  JSC 2010»
15 years 1 months ago
Computing differential characteristic sets by change of ordering
We describe an algorithm for converting a characteristic set of a prime differential ideal from one ranking into another. This algorithm was implemented in many different language...
François Boulier, François Lemaire, ...
COLT
2003
Springer
16 years 12 days ago
Learning with Equivalence Constraints and the Relation to Multiclass Learning
Abstract. We study the problem of learning partitions using equivalence constraints as input. This is a binary classification problem in the product space of pairs of datapoints. ...
Aharon Bar-Hillel, Daphna Weinshall
ICCAD
1996
IEEE
114views Hardware» more  ICCAD 1996»
15 years 11 months ago
An efficient approach to simultaneous transistor and interconnect sizing
In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We de ne a class of optimization problems as CH-posynomial programs and reveal a genera...
Jason Cong, Lei He