6693 search results - page 1153 / 1339 » Methods of Automatic Algorithm Generation |
135
click to vote
WEBDB
2010
Springer
15 years 7 months ago
2010
Springer
The transition of search engine usersā intents has been studied for a long time. The knowledge of intent transition, once discovered, can yield a better understanding of how diļ...
131
click to vote
TIME
2002
IEEE
15 years 7 months ago
2002
IEEE
Local search techniques have attracted considerable interest in the Artiļ¬cial Intelligence (AI) community since the development of GSAT [9] and the min-conļ¬icts heuristic [5] ...
120
Voted
ECOOP
1997
Springer
15 years 6 months ago
1997
Springer
A type inclusion test is a procedure to decide whether two types are related by a given subtyping relationship. An eļ¬cient implementation of the type inclusion test plays an impo...
145
Voted
KDD
2010
ACM
15 years 6 months ago
2010
ACM
We propose an online topic model for sequentially analyzing the time evolution of topics in document collections. Topics naturally evolve with multiple timescales. For example, so...
108
Voted
ANTS
2006
Springer
15 years 6 months ago
2006
Springer
This paper suggests a new building block for cryptographic protocols and gives two instantiations of it. The concept is to generate two descriptions of the same group: a public des...