2141 search results - page 12 / 429 » Classifying web sites |
ENTCS
2006
13 years 8 months ago
2006
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties...
DEBU
2000
13 years 8 months ago
2000
The current state of web search is most successful at directing users to appropriate web sites. Once at the site, the user has a choice of following hyperlinks or using site searc...
LAWEB
2005
IEEE
14 years 2 months ago
2005
IEEE
This work addresses the question of supporting web designers in considering usability in their work in order to foster user-centered design of web sites. With the MetroWeb tool th...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
A Web service is frequently defined as browser-less access to content on a Web site. The industry’s focus to date has been on providing easy-to-use low-level libraries, tools a...
ECML
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We study the problem of learning from positive and unlabeled examples. Although several techniques exist for dealing with this problem, they all assume that positive exam...