1686 search results - page 144 / 338 » Higher Order Deforestation |
130
click to vote
APPML
2004
15 years 4 months ago
2004
In this paper, a new condition for the controllability of higher order linear dynamical systems is obtained. The suggested test contains rank conditions of suitably defined matric...
118
click to vote
COMBINATORICS
2000
15 years 4 months ago
2000
It is shown in this note that with high probability it is enough to destroy all triangles in order to get a cover graph from a random graph Gn,p with p log n/n for any constant ...
146
click to vote
ICIP
2001
IEEE
16 years 6 months ago
2001
IEEE
A drawback of most watermarking techniques is the need for some additional information in order to retrieve the watermark. Additionally, the robustness of the watermark decreases ...
110
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
The use of higher order autocorrelations as features for pattern classification has been usually restricted to second or third orders due to high computational costs. Since the au...
139
click to vote
RTA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Interaction nets are a graphical formalism inspired by Linear Logic proof-nets often used for studying higher order rewriting e.g. β-reduction. Traditional presentations...