Sciweavers

4270 search results - page 360 / 854
» A Permutation Approach to Validation
Sort
View
TARK
2009
Springer
16 years 1 months ago
Logical omniscience as a computational complexity problem
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
Sergei N. Artëmov, Roman Kuznets
137
Voted
APGV
2009
ACM
16 years 1 months ago
On predicting visual popping in dynamic scenes
Popping is a major source of visual artifacts in dynamic scenes. To alleviate or avoid it, usually some temporal smoothing scheme is employed or levels of detail are chosen conser...
Michael Schwarz, Marc Stamminger
AINA
2008
IEEE
16 years 1 months ago
Performance Optimization of Temporal Reasoning for Grid Workflows Using Relaxed Region Analysis
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
Ke Xu, Junwei Cao, Lianchen Liu, Cheng Wu
CDC
2008
IEEE
104views Control Systems» more  CDC 2008»
16 years 1 months ago
Delta modulation for multivariable centralized linear networked controlled systems
—This paper investigates the closed-loop properties of multivariable (MIMO1 ) linear systems where the sensed information is centralized and coded on the basis of a ∆-modulatio...
Jonathan Jaglin, Carlos Canudas de Wit, Cyrille Si...
GLOBECOM
2008
IEEE
16 years 1 months ago
Multi-Hop Effective Bandwidth Based Routing in Multi-Radio Wireless Mesh Networks
—In this paper, we address the routing issue in a wireless mesh network, where each node is stationary and equipped with one or more radios. Specifically, we propose a new path ...
Hongkun Li, Yu Cheng, Chi Zhou