2681 search results - page 45 / 537 » Topics in asynchronous systems |
159
Voted
WWW
2011
ACM
14 years 9 months ago
2011
ACM
This paper presents a user recommendation system that recommends to a user new friends having similar interests. We automatically discover users’ interests using Latent Dirichle...
116
Voted
ICIP
2001
IEEE
16 years 4 months ago
2001
IEEE
In this paper we describe integrated multimedia processing for Video Scout, a system that segments and indexes TV programs according to their audio, visual, and transcript informa...
108
Voted
EMNLP
2008
15 years 4 months ago
2008
This paper describes a novel Bayesian approach to unsupervised topic segmentation. Unsupervised systems for this task are driven by lexical cohesion: the tendency of wellformed se...
169
Voted
JSC
2010
14 years 9 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
132
Voted
JURIX
2007
15 years 4 months ago
2007
Today’s argumentation software mostly emphasizes the logical structure of reasoning, and especially the structure as it can be represented in boxes-andarrows style diagrams. In t...