83 search results - page 9 / 17 » Directive words of episturmian words: equivalences and norma... |
APAL
2007
13 years 8 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
IMR
2005
Springer
14 years 1 months ago
2005
Springer
: This paper describes an approach to smooth the surface and improve the quality of quadrilateral/hexahedral meshes with feature preserved using geometric flow. For quadrilateral ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
Dirty paper trellis codes are a form of watermarking with side information. These codes have the advantage of being invariant to valumetric scaling of the cover Work. However, the...
JUCS
2002
13 years 7 months ago
2002
: Let G = (V, E) be a strongly connected and aperiodic directed graph of uniform out-degree k. A deterministic finite automaton is obtained if the edges are colored with k colors i...
ICB
2007
Springer
14 years 2 months ago
2007
Springer
Recent studies have shown that shape cues should dominate gait recognition. This motivates us to perform gait recognition through shape features in 2D human silhouettes. In this pa...