2351 search results - page 41 / 471 » A Method of Requirement Inconsistency Analysis |
PSIVT
2009
Springer
15 years 4 months ago
2009
Springer
The recent development of video editing techniques enables us to create realistic synthesized videos. Therefore using video data as evidence in places such as a court of law requir...
DLOG
2010
14 years 7 months ago
2010
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...
116
click to vote
DSVIS
1998
Springer
15 years 2 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
169
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Many aspects of the data integration problem have been considered in the literature: how to match schemas across different data sources, how to decide when different records refer...
TOG
2008
14 years 9 months ago
2008
Example-based texture synthesis algorithms have gained widespread popularity for their ability to take a single input image and create a perceptually similar non-periodic texture....