Sciweavers

4403 search results - page 360 / 881
» Galois Theory of Algorithms
Sort
View
CDC
2010
IEEE
123views Control Systems» more  CDC 2010»
15 years 1 months ago
Causal observability of nonlinear time-delay systems with unknown inputs
This paper investigates the problem of causal observability of the states and unknown inputs of nonlinear time-delay systems. Using the theory of non-commutative rings, the nonline...
Gang Zheng, Jean-Pierre Barbot, Driss Boutat, Thie...
IJNSEC
2010
105views more  IJNSEC 2010»
15 years 1 months ago
A Note on the Constructions of Orthomorphic Permutations
Orthomorphic permutations have important applications in the design of block ciphers. A practical algorithm is derived to generate all orthomorphic permutations over Fm 2 , and it...
Jianqin Zhou
TCS
2010
15 years 1 months ago
Non-confluence in divisionless P systems with active membranes
We describe a solution to the SAT problem via non-confluent P systems with active membranes, without using membrane division rules. Furthermore, we provide an algorithm for simula...
Antonio E. Porreca, Giancarlo Mauri, Claudio Zandr...
ICCV
2011
IEEE
14 years 6 months ago
Dense Disparity Maps from Sparse Disparity Measurements
In this work we propose a method for estimating disparity maps from very few measurements. Based on the theory of Compressive Sensing, our algorithm accurately reconstructs dispar...
Simon Hawe, Martin Kleinsteuber, Klaus Diepold
SIGMOD
2009
ACM
139views Database» more  SIGMOD 2009»
16 years 7 months ago
Detecting and resolving unsound workflow views for correct provenance analysis
views abstract groups of tasks in a workflow into high level composite tasks, in order to reuse sub-workflows and facilitate provenance analysis. However, unless a view is careful...
Peng Sun, Ziyang Liu, Susan B. Davidson, Yi Chen