Sciweavers

1897 search results - page 179 / 380
» Conditional Linear Planning
Sort
View
ICPR
2006
IEEE
16 years 4 months ago
A Regression Model in TensorPCA Subspace for Face Image Super-resolution Reconstruction
A regression model in the tensorPCA subspace is proposed in this paper for face super-resolution reconstruction. An approximate conditional probability model is used for the tenso...
Junwen Wu, Mohan M. Trivedi
247
Voted
POPL
2008
ACM
16 years 4 months ago
A logical account of pspace
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
Marco Gaboardi, Jean-Yves Marion, Simona Ronchi De...
POPL
2005
ACM
16 years 4 months ago
Connecting effects and uniqueness with adoption
Abstract. In a previous paper, we discussed how the concepts of uniqueness and effects are interdependent. In this paper, we show how "Adoption and Focus," a proposal for...
John Tang Boyland, William Retert
CDC
2008
IEEE
128views Control Systems» more  CDC 2008»
15 years 10 months ago
Floquet transformations for discrete-time systems: Equivalence between periodic systems and time-invariant ones
— This paper considers discrete-time periodic linear systems and their Floquet transformations, by which the periodic systems can be equivalently transformed to time-invariant on...
Yoshikazu Hayakawa, Tomohiko Jimbo
PRDC
2007
IEEE
15 years 10 months ago
An Automatic Real-Time Analysis of the Time to Reach Consensus
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
Tatsuhiro Tsuchiya, André Schiper