Sciweavers

15375 search results - page 73 / 3075
» cans 2008
Sort
View
EOR
2008
82views more  EOR 2008»
13 years 7 months ago
Capacity and entry issues in online exchanges
With the advent of open standards and Internet technologies, the number of sellers who can participate in online exchanges is greatly increased. We model the competition between i...
Subhajyoti Bandyopadhyay, John M. Barron, Alok R. ...
EOR
2008
80views more  EOR 2008»
13 years 7 months ago
Few statistical tests for proportions comparison
This article reviews a number of statistical tests for comparing proportions. These statistical tests are presented in a comprehensive way, so that OR practitioners can easily und...
Éric D. Taillard, Philippe Waelti, Jacques ...
FAC
2008
67views more  FAC 2008»
13 years 7 months ago
Specification, proof, and model checking of the Mondex electronic purse using RAISE
This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
Chris George, Anne Elisabeth Haxthausen
FOCM
2008
76views more  FOCM 2008»
13 years 7 months ago
On Smale's 17th Problem: A Probabilistic Positive Solution
Smale's 17th Problem asks "Can a zero of n complex polynomial equations in n unknowns be found approximately, on the average [for a suitable probability measure on the s...
Carlos Beltrán, Luis Miguel Pardo
IANDC
2008
109views more  IANDC 2008»
13 years 7 months ago
Compositions of extended top-down tree transducers
Abstract. Unfortunately the class of transformations computed by nondeleting and linear extended top-down tree transducers [Graehl, Knight: Training Tree Transducers. HLT-NAACL 200...
Andreas Maletti