961 search results - page 158 / 193 » Automatic design synthesis with artificial intelligence tech... |
118
click to vote
TPHOL
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
118
click to vote
IEAAIE
2003
Springer
15 years 6 months ago
2003
Springer
Automatic hypertext classification is an essential technique for organizing vast amount of Internet Web pages or HTML documents. One the of problems in classifying Web pages is tha...
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
This paper describes how to automatically cross-reference documents with Wikipedia: the largest knowledge base ever known. It explains how machine learning can be used to identify...
101
click to vote
MM
2010
ACM
15 years 1 months ago
2010
ACM
In this paper we study the connection between sentiment of images expressed in metadata and their visual content in the social photo sharing environment Flickr. To this end, we co...
CGF
2008
15 years 1 months ago
2008
Aging has considerable visual effects on the human face and is difficult to simulate using a universally-applicable global model. In this paper, we focus on the hypothesis that th...