3742 search results - page 113 / 749 » On the Use of Formal Techniques for Validation |
146
click to vote
KCAP
2009
ACM
15 years 11 months ago
2009
ACM
Identifying alignments between vocabularies has become a central knowledge engineering activity. A plethora of alignment techniques has been developed over the past years. In this...
169
click to vote
JUCS
2008
15 years 6 months ago
2008
: Document binarization is an active research area for many years. The choice of the most appropriate binarization algorithm for each case proved to be a very difficult procedure i...
144
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
In this paper, we focus on the use of three different techniques that support automatic derivation of video content from raw video data, namely, a spatio-temporal rule-based metho...
127
click to vote
IEEEPACT
2007
IEEE
16 years 19 days ago
2007
IEEE
Performance auditing is an online optimization strategy that empirically measures the effectiveness of an optimization on a particular code region. It has the potential to greatly...
268
click to vote
MP
2010
15 years 4 months ago
2010
Combinatorial optimization games form an important subclass of cooperative games. In recent years, increased attention has been given to the issue of finding good cost shares for...