9067 search results - page 1563 / 1814 » Adaptive Model Checking |
256
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
In this paper we present GDR, a Guided Data Repair framework that incorporates user feedback in the cleaning process to enhance and accelerate existing automatic repair techniques...
135
click to vote
EWC
2011
15 years 2 months ago
2011
Abstract. Finite element mesh adaptation methods can be used to improve the efficiency and accuracy of solutions to computational modeling problems. In many applications involving ...
345
click to vote
ISF
2011
15 years 2 months ago
2011
As supply chains evolve beyond the confines of individual organizations, information sharing has become the holy grail in supply chain technology. Although the value of information...
162
click to vote
TIP
2011
15 years 2 months ago
2011
This paper explores the mathematical and algorithmic properties of two sample-based microtexture models: random phase noise (RPN ) and asymptotic discrete spot noise (ADSN ). Thes...
229
click to vote
TIP
2011
15 years 2 months ago
2011
—One of the major challenges in multi-view imaging is the definition of a representation that reveals the intrinsic geometry of the visual information. Sparse image representati...