5434 search results - page 436 / 1087 » Semantic information portals |
292
click to vote
PLPV
2011
ACM
14 years 9 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...
192
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In order to obtain a machine understandable semantics for web resources, research on the Semantic Web tries to annotate web resources with concepts and relations from explicitly d...
183
click to vote
ASSETS
2004
ACM
16 years 13 days ago
2004
ACM
Bookmarks are shortcuts that enable quick access of the desired Web content. They have become a standard feature in any browser and recent studies have shown that they can be very...
195
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Behavioral Targeting (BT), which aims to deliver the most appropriate advertisements to the most appropriate users, is attracting much attention in online advertising market. A ke...
239
click to vote
ECOWS
2009
Springer
15 years 10 months ago
2009
Springer
—Recently, Semantic Web Services have been increasingly adopted to search, access and manipulate information made available from autonomous and heterogeneous systems interacting ...