Sciweavers

1145 search results - page 53 / 229
» Discrete Green's Functions
Sort
View
ICMCS
2010
IEEE
173views Multimedia» more  ICMCS 2010»
15 years 6 months ago
A Discrete perceptual impact evaluation quality assessment framework for IPTV services
Network impairments are unpredictable and highly destructive to the perceptual quality of media content in the IPTV content distribution networks. As a result the existing network...
Mu Mu, Andreas Mauthe, Francisco Garcia
CEC
2007
IEEE
16 years 16 days ago
SAT-decoding in evolutionary algorithms for discrete constrained optimization problems
— For complex optimization problems, several population-based heuristics like Multi-Objective Evolutionary Algorithms have been developed. These algorithms are aiming to deliver ...
Martin Lukasiewycz, Michael Glaß, Christian ...
ICFEM
2004
Springer
15 years 11 months ago
Linear Inequality LTL (iLTL): A Model Checker for Discrete Time Markov Chains
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
YoungMin Kwon, Gul Agha
CDC
2008
IEEE
120views Control Systems» more  CDC 2008»
15 years 8 months ago
Left invertibility of discrete systems with finite inputs and quantized output
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
Nevio Dubbini, Benedetto Piccoli, Antonio Bicchi
JAR
2008
88views more  JAR 2008»
15 years 6 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar