1205 search results - page 179 / 241 » Program Extraction from Large Proof Developments |
113
click to vote
CIKM
2001
Springer
15 years 5 months ago
2001
Springer
In this paper, an approach for reorganizing Web sites based on user access patterns is proposed. Our goal is to build adaptive Web sites by evolving site structure to facilitate u...
103
click to vote
AAAI
2007
15 years 3 months ago
2007
Tables are ubiquitous in web pages and scientific documents. With the explosive development of the web, tables have become a valuable information repository. Therefore, effective...
102
click to vote
ICMLA
2007
15 years 2 months ago
2007
Optimal Component Analysis (OCA) is a linear method for feature extraction and dimension reduction. It has been widely used in many applications such as face and object recognitio...
130
click to vote
NIPS
2008
15 years 2 months ago
2008
Learning graphical models with hidden variables can offer semantic insights to complex data and lead to salient structured predictors without relying on expensive, sometime unatta...
125
click to vote
APBC
2003
15 years 2 months ago
2003
The development of microarray technology has supplied a large volume of data to many fields. In particular, it has been applied to prediction and diagnosis of cancer, so that it e...