6618 search results - page 1083 / 1324 » Web Search Engines |
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...
191
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—Due to the exponential growth of information on the Web, Recommender Systems have been developed to generate suggestions to help users overcome information overload and sift thr...
233
click to vote
AIIA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic...
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 ...
197
click to vote
MM
2004
ACM
16 years 20 days ago
2004
ACM
The realization of multimedia systems still heavily relies on building monolithic systems that need to be reengineered for every change in the application and little of which can ...