4266 search results - page 655 / 854 » Search for More Declarativity |
115
click to vote
LAWEB
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper expands on a 1997 study of the amount and distribution of near-duplicate pages on the World Wide Web. We downloaded a set of 150 million web pages on a weekly basis ove...
155
click to vote
MTV
2003
IEEE
15 years 9 months ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
124
click to vote
WECWIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Web services have a potential to enhance B2B ecommerce over the Internet by allowing companies and organizations to publish their business processes on service directories where p...
111
click to vote
GROUP
2003
ACM
15 years 9 months ago
2003
ACM
Information retrieval is generally considered an individual activity, and information retrieval research and tools reflect this view. As digitally mediated communication and infor...
174
click to vote
JCDL
2003
ACM
15 years 9 months ago
2003
ACM
Automatic metadata generation provides scalability and usability for digital libraries and their collections. Machine learning methods offer robust and adaptable automatic metadat...