4581 search results - page 387 / 917 » Computing Transformation Semigroups |
195
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
176
click to vote
ECCV
2006
Springer
15 years 10 months ago
2006
Springer
The formulation of trace quotient is shared by many computer vision problems; however, it was conventionally approximated by an essentially different formulation of quotient trace,...
234
click to vote
BMVC
2002
15 years 9 months ago
2002
This paper approaches the problem of finding correspondences between images in which there are large changes in viewpoint, scale and illumination. Recent work has shown that scale...
224
click to vote
LREC
2008
2008
Building a Bilingual Representation of the Roget Thesaurus for French to English Machine Translation
15 years 8 months ago
This paper describes a solution to lexical transfer as a trade-off between a dictionary and an ontology. It shows its association to a translation tool based on morpho-syntactical...
294
click to vote
CIMAGING
2009
15 years 8 months ago
2009
Space-varying convolution often arises in the modeling or restoration of images captured by optical imaging systems. For example, in applications such as microscopy or photography...