Sciweavers

5158 search results - page 137 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
CORR
2012
Springer
193views Education» more  CORR 2012»
12 years 5 months ago
A Unifying Framework for Linearly Solvable Control
Recent work has led to the development of an elegant theory of Linearly Solvable Markov Decision Processes (LMDPs) and related Path-Integral Control Problems. Traditionally, LMDPs...
Krishnamurthy Dvijotham, Emanuel Todorov
POPL
2004
ACM
14 years 10 months ago
A bisimulation for dynamic sealing
We define seal, an untyped call-by-value -calculus with primitives for protecting abstract data by sealing, and develop a bisimulation proof method that is sound and complete with...
Eijiro Sumii, Benjamin C. Pierce
CORR
2006
Springer
151views Education» more  CORR 2006»
13 years 10 months ago
Combining decision procedures for the reals
Abstract. We address the general problem of determining the validity of boolean combinations of equalities and inequalities between real-valued expressions. In particular, we consi...
Jeremy Avigad, Harvey Friedman
SIGMETRICS
2012
ACM
197views Hardware» more  SIGMETRICS 2012»
12 years 16 days ago
Fluid limit of an asynchronous optical packet switch with shared per link full range wavelength conversion
We consider an asynchronous all optical packet switch (OPS) where each link consists of N wavelength channels and a pool of C ≤ N full range tunable wavelength converters. Under...
Benny Van Houdt, Luca Bortolussi
IFSA
2007
Springer
158views Fuzzy Logic» more  IFSA 2007»
14 years 4 months ago
Fuzziness and Performance: An Empirical Study with Linguistic Decision Trees
Abstract. Generally, there are two main streams of theories for studying uncertainties. One is probability theory and the other is fuzzy set theory. One of the basic ideas of fuzzy...
Zengchang Qin, Jonathan Lawry