8828 search results - page 1556 / 1766 » Formal methods in practice |
126
click to vote
TON
2002
15 years 4 months ago
2002
Fragmented IP traffic is a poorly understood component of the overall mix of traffic on the Internet. Many assertions about the nature and extent of fragmented traffic are anecdota...
130
click to vote
TVLSI
2002
15 years 4 months ago
2002
We propose two practical approaches for on-chip inductance extraction to obtain a highly sparsified and accurate inverse inductance matrix K. Both approaches differ from previous ...
147
click to vote
PAMI
2007
15 years 4 months ago
2007
—Unsupervised image segmentation is an important component in many image understanding algorithms and practical vision systems. However, evaluation of segmentation algorithms thu...
116
Voted
PVLDB
2008
15 years 4 months ago
2008
The measure of similarity between objects is a very useful tool in many areas of computer science, including information retrieval. SimRank is a simple and intuitive measure of th...
126
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
Representation and reasoning about goals of an information system unavoidably involve the transformation of unclear stakeholder requirements into an instance of a goal model. If t...