Sciweavers

1638 search results - page 34 / 328
» Properties of input-consuming derivations
Sort
View
APN
2010
Springer
15 years 2 months ago
Factorization Properties of Symbolic Unfoldings of Colored Petri Nets
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actio...
Thomas Chatain, Eric Fabre
ECCV
2000
Springer
15 years 11 months ago
On the Structure and Properties of the Quadrifocal Tensor
The quadrifocal tensor which connects image measurements along 4 views is not yet well understood as its counterparts the fundamental matrix and the trifocal tensor. This paper es...
Amnon Shashua, Lior Wolf
ICA
2004
Springer
15 years 3 months ago
On the FIR Inversion of an Acoustical Convolutive Mixing System: Properties and Limitations
In this paper we address the problem of Least-Squares (LS) optimal FIR inverse-filtering of an convolutive mixing system, given by a set of acoustic impulse responses (AIRs). The ...
Markus Hofbauer
AMC
2006
77views more  AMC 2006»
14 years 10 months ago
A reduced three-dimensional dynamic structural model for structural health assessment
Dynamic models of elastic structures are derived using approximations of linear three dimensional elasticity. A model for the three dimensional motion of a nonsymmetric structure ...
Luther White
COMBINATORICS
2006
131views more  COMBINATORICS 2006»
14 years 10 months ago
Encores on Cores
We give a new derivation of the threshold of appearance of the k-core of a random graph. Our method uses a hybrid model obtained from a simple model of random graphs based on rand...
Julie Cain, Nicholas C. Wormald