1076 search results - page 86 / 216 » Operations on proofs and labels |
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
We propose a fast text/graphics resolution improvement algorithm with boundary parameterization and wavelet based denoising. Given input images containing labeled text/graphics ob...
ESOP
2009
Springer
14 years 3 months ago
2009
Springer
The operational semantics of interactive systems is usually d by labeled transition systems. Abstract semantics is defined in terms of bisimilarity that, in the finite case, can ...
CALCO
2009
Springer
14 years 3 months ago
2009
Springer
The operational semantics of interactive systems is usually described by labeled transition systems. Abstract semantics (that is defined in terms of bisimilarity) is characterized...
ESA
1998
Springer
14 years 1 months ago
1998
Springer
An ordered tree is a tree in which each node's incident edges are cyclically ordered; think of the tree as being embedded in the plane. Let A and B be two ordered trees. The e...
WSCG
2001
13 years 10 months ago
2001
We propose volume registration procedures based on spherical artificial markers presented in medical multimodal data sets (MRI and CT, especially). The procedures proposed are eit...