4502 search results - page 621 / 901 » Regular Model Checking |
184
click to vote
TOG
2002
15 years 6 months ago
2002
Texturing using a set of two dimensional image maps is an established and widespread practice. However, it has many limitations. Parameterizing a model in texture space can be ver...
145
click to vote
JUCS
2010
15 years 5 months ago
2010
: The situational method engineering (SME) literature is surveyed and a synoptic evaluation presented in the context of formalizing and regularizing the conceptual framework and un...
201
click to vote
SIAMSC
2010
15 years 5 months ago
2010
In this paper, we study alternating direction methods for solving constrained total-variation image restoration and reconstruction problems. Alternating direction methods can be im...
168
click to vote
ACL
2010
15 years 4 months ago
2010
This paper presents a novel filtration criteria to restrict the rule extraction for the hierarchical phrase-based translation model, where a bilingual but relaxed well-formed depe...
159
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
Blotches are very common, localized, and non persistent impairments in digitized film archive. Many methods have been proposed so far for detecting them and restoring the underlyi...