Sciweavers

5325 search results - page 935 / 1065
» Effective Computation for Nonlinear Systems
Sort
View
174
Voted
TIM
2010
144views Education» more  TIM 2010»
14 years 10 months ago
Extending Polynomial Chaos to Include Interval Analysis
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
Antonello Monti, Ferdinanda Ponci, Marco Valtorta
TSE
2010
123views more  TSE 2010»
14 years 10 months ago
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Current stochastic model checkers do not make counterexamples for property violations readily available. In this paper we apply directed explicit state space search to discrete- a...
Husain Aljazzar, Stefan Leue
292
Voted
KDD
2012
ACM
292views Data Mining» more  KDD 2012»
13 years 6 months ago
Online allocation of display ads with smooth delivery
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
Anand Bhalgat, Jon Feldman, Vahab S. Mirrokni

Publication
219views
17 years 2 months ago
Achieving QoS for TCP Traffic in Satellite Networks with Differentiated Services
Satellite networks play an indispensable role in providing global Internet access and electronic connectivity. To achieve such a global communications, provisioning of quality of s...
Arjan Durresi, Sastri Kota, Mukul Goyal, Raj Jain,...
128
Voted
ICIP
2005
IEEE
16 years 5 months ago
Real-time generation of novel views of a dynamic scene using morphing and visual hull
Recently, generation of novel views from images acquired by multiple cameras has been investigated. It can be applied to telepresence effectively. Most conventional methods need so...
Tomoya Ishikawa, Kazumasa Yamazawa, Naokazu Yokoya