1690 search results - page 182 / 338 » Applications of Metric Coinduction |
CIA
2003
Springer
14 years 3 months ago
2003
Springer
The so-called "Web of Trust" is one of the ultimate goals of the Semantic Web. Research on the topic of trust in this domain has focused largely on digital signatures, ce...
CIKM
2003
Springer
14 years 3 months ago
2003
Springer
We present a series of experiments to demonstrate the validity of Relative Utility (RU) as a measure for evaluating extractive summarizers. RU is applicable in both singledocument...
FM
2003
Springer
14 years 3 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
IEEEPACT
2002
IEEE
14 years 3 months ago
2002
IEEE
Information about instruction criticality can be used to control the application of micro-architectural resources efficiently. To this end, several groups have proposed methods t...
EDCC
2010
Springer
14 years 3 months ago
2010
Springer
Wireless networks are starting to be populated by interconnected devices that reveal remarkable hardware and software differences. This fact raises a number of questions on the ap...