6646 search results - page 1075 / 1330 » Web Design for the Semantic Web |
201
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
178
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Heterogeneous entities or objects are very common and are usually interrelated with each other in many scenarios. For example, typical Web search activities involve multiple types...
198
click to vote
IMC
2006
ACM
16 years 1 months ago
2006
ACM
An accurate router-level topology of the Internet would benefit many research areas, including network diagnosis, inter-domain traffic engineering, and overlay construction. We ...
215
click to vote
W4A
2006
ACM
16 years 1 months ago
2006
ACM
Recent developments in the mobile phone market have led to a significant increase in the number of users accessing the Mobile Internet. Handsets have been improved to support a d...
185
Voted
JCDL
2004
ACM
16 years 21 days ago
2004
ACM
A large amount of research, technical and professional documents are available today in digital formats. Digital libraries are created to facilitate search and retrieval of inform...