1741 search results - page 277 / 349 » A Semantic Data Validation Service for Web Applications |
125
click to vote
JUCS
2006
15 years 3 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
143
click to vote
HPDC
2010
IEEE
15 years 4 months ago
2010
IEEE
Hadoop is a reference software framework supporting the Map/Reduce programming model. It relies on the Hadoop Distributed File System (HDFS) as its primary storage system. Althoug...
137
click to vote
APWEB
2003
Springer
15 years 9 months ago
2003
Springer
Search engines are among the most important applications or services on the web. Most existing successful search engines use global ranking algorithms to generate the ranking of do...
127
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
As with any application of machine learning, web search ranking requires labeled data. The labels usually come in the form of relevance assessments made by editors. Click logs can...
157
click to vote
ICDM
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose an algorithm for extracting fields from HTML search results. The output of the algorithm is a database table– a data structure that better lends itself to high-level...