7623 search results - page 332 / 1525 » Constructive Volume Modeling |
197
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Document images undergo various degradation processes. Numerous models of these degradation processes have been proposed in the literature. In this paper we propose a modelbased r...
144
click to vote
TACAS
2005
Springer
16 years 2 days ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
179
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
205
click to vote
IIWAS
2004
15 years 8 months ago
2004
: This paper addresses two important aspects of Web service compositions - on the one hand, flexibility of Web service (WS) compositions, and on the other the automatic development...
303
click to vote
AVI
2000
15 years 8 months ago
2000
Declarative models play an important role in most software design activities, by allowing designs to be constructed that selectively abstract over complex implementation details. ...