240 search results - page 38 / 48 » A Content Based Mathematical Search Engine: Whelp |
ACMSE
2004
ACM
14 years 28 days ago
2004
ACM
Recent years have witnessed an explosion in the availability of news articles on the World Wide Web. Although searchengines’ algorithms have made it easier to locate these docum...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Purpose – This paper2 discusses the new scientific search service Google Scholar (GS). This search engine, intended for searching exclusively scholarly documents, will be descri...
ICMCS
2007
IEEE
14 years 1 months ago
2007
IEEE
Audiovisual media which integrates visual media with audio to enrich music representation, such as music video (MV) or music slideshow, is now more welcome than only audio. In thi...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
NSDI
2008
13 years 9 months ago
2008
Online communication media such as email, instant messaging, bulletin boards, voice-over-IP, and social networking sites allow any sender to reach potentially millions of users at...