780 search results - page 85 / 156 » software 2011 |
130
click to vote
TASE
2011
IEEE
14 years 6 months ago
2011
IEEE
: This paper addresses the dynamic pricing problem of a single-item, make-to-stock production system. Demand arrives according to Poisson processes with changeable arrival rate dep...
COMPSAC
2011
IEEE
13 years 11 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
107
click to vote
TASLP
2011
14 years 6 months ago
2011
Abstract—This paper proposes methods for information processing of audio streams using methods of information geometry. We lay the theoretical groundwork for a framework allowing...
162
click to vote
SIAMCO
2011
14 years 6 months ago
2011
In this paper optimal control problems governed by the wave equation with control constraints are analyzed. Three types of control action are considered: distributed control, Neuma...
163
click to vote
FASE
2011
Springer
14 years 3 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...