5499 search results - page 89 / 1100 » Generalized Rewrite Theories |
144
click to vote
VMCAI
2012
Springer
13 years 11 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...
128
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
Markov random field (MRF) theory has widely been applied to segmentation in noisy images. This paper proposes a new MRF method. First, it couples the original labeling MRF with a ...
140
click to vote
ICCAD
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Retiming, c-slow retiming and recycling are different transformations for the performance optimization of sequential circuits. For retiming and c-slow retiming, differe...
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
Fundamental matrix, drawing geometric relationship between two images, plays an important role in 3-dimensional computer vision. Degenerate configurations of space points and two ...
147
click to vote
ECAI
2008
Springer
15 years 6 months ago
2008
Springer
Time is a crucial variable in planning and often requires special attention since it introduces a specific structure along with additional complexity, especially in the case of dec...