118 search results - page 7 / 24 » An Iterative Algorithm for Synthesizing Invariants |
TACAS
2005
Springer
14 years 1 months ago
2005
Springer
Transformations using retiming and resynthesis operations are the most important and practical (if not the only) techniques used in optimizing synchronous hardware systems. Althoug...
ICPR
2006
IEEE
14 years 8 months ago
2006
IEEE
Dynamic Time Warping (DTW) has been widely used to align and compare two sequences. DTW can efficiently deal with local warp or deformation between sequences. However, it can'...
AMFG
2007
IEEE
13 years 11 months ago
2007
IEEE
A key problem for "face in the crowd" recognition from existing surveillance cameras in public spaces (such as mass transit centres) is the issue of pose mismatches betwe...
IJCV
2010
13 years 2 months ago
2010
In this paper, we address the problem of photometric invariance in multispectral imaging making use of an optimisation approach based upon the dichromatic model. In this manner, w...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
In this paper we present SEMA tool for the automatic mapping of ontologies. The main purpose of SEMA is to locate one to one equivalence correspondences (mappings) between elements...