Sciweavers

922 search results - page 97 / 185
» On a Generalization of the Stone-Weierstrass Theorem
Sort
View
NGC
1998
Springer
115views Communications» more  NGC 1998»
15 years 6 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
TIT
2002
91views more  TIT 2002»
15 years 6 months ago
Hidden Markov processes
An overview of statistical and information-theoretic aspects of hidden Markov processes (HMPs) is presented. An HMP is a discrete-time finite-state homogeneous Markov chain observe...
Yariv Ephraim, Neri Merhav
IJAR
2008
140views more  IJAR 2008»
15 years 5 months ago
Financial risk measurement with imprecise probabilities
Although financial risk measurement is a largely investigated research area, its relationship with imprecise probabilities has been mostly overlooked. However, risk measures can b...
Paolo Vicig
TON
2010
132views more  TON 2010»
15 years 4 months ago
The optimality of two prices: maximizing revenue in a stochastic communication system
—This paper considers the problem of pricing and transmission scheduling for an Access Point (AP) in a wireless network, where the AP provides service to a set of mobile users. T...
Longbo Huang, Michael J. Neely
CORR
2011
Springer
173views Education» more  CORR 2011»
15 years 1 months ago
Psi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
Jesper Bengtson, Magnus Johansson, Joachim Parrow,...