136
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
This paper postulates that for the Semantic Web to grow and gain input from fields that will surely benefit it, it needs to develop an analogue that will help people not only unde...
126
click to vote
FOSSACS
2009
Springer
15 years 8 months ago
2009
Springer
We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes ...
131
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
There is a lack of tools for exploring large non-textual collections. One challenge is the manual effort required to add metadata to these collections. In this paper, we propose a...
121
click to vote
HT
2007
ACM
15 years 8 months ago
2007
ACM
HTTP provides a mechanism to connect web sites. Almost all sites have a large amount of hypertext content that provides connection to other sites in the World Wide Web. The succes...
135
Voted
FOSAD
2009
Springer
15 years 8 months ago
2009
Springer
d Static Analysis by Abstract Interpretation Fr