2748 search results - page 270 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
115
click to vote
FAST
2008
15 years 7 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
108
click to vote
ICIP
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper we present a no-reference video quality metric based on individual measurements of three artifacts: blockiness, blurriness, and noisiness. The set of artifact metric...
151
Voted
CAV
2004
Springer
15 years 10 months ago
2004
Springer
Model checking of infinite state systems is undecidable, therefore, there are instances for which fixpoint computations used in infinite state model checkers do not converge. Gi...
118
Voted
CAISE
2004
Springer
15 years 10 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
128
click to vote
ECMDAFA
2006
Springer
15 years 8 months ago
2006
Springer
A core problem in Model Driven Engineering is model consistency achievement: all models must satisfy relationships constraining them. Active consistency techniques monitor and cont...