Sciweavers

141 search results - page 5 / 29
» Structural models in consumer credit
Sort
View
ICFP
1999
ACM
13 years 11 months ago
Type Inference Builds a Short Cut to Deforestation
Deforestation optimises a functional program by transforming it into another one that does not create certain intermediate data structures. Short cut deforestation is a deforestat...
Olaf Chitil
MKTSCI
2010
140views more  MKTSCI 2010»
13 years 1 months ago
Demand Estimation with Social Interactions and the Implications for Targeted Marketing
The role that social interactions play in the purchase decisions of consumers is of growing interest to marketers. Consumers' decisions not only depend on information they re...
Wesley R. Hartmann
MOBILITY
2009
ACM
14 years 1 months ago
UbiPay: minimizing transaction costs with smart mobile payments
Implementing an electronic payment system involves striking a balance between usability and security. Systems that allow payments to be completed with little effort on the part of...
Vili Lehdonvirta, Hayuru Soma, Hitoshi Ito, Tetsuo...
GLVLSI
2000
IEEE
87views VLSI» more  GLVLSI 2000»
13 years 11 months ago
Speeding up symbolic model checking by accelerating dynamic variable reordering
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
Christoph Meinel, Christian Stangier
TOG
2002
112views more  TOG 2002»
13 years 6 months ago
Creating models of truss structures with optimization
We present a method for designing truss structures, a common and complex category of buildings, using non-linear optimization. Truss structures are ubiquitous in the industrialize...
Jeffrey Smith, Jessica K. Hodgins, Irving Oppenhei...