Sciweavers

1037 search results - page 52 / 208
» Topic Models Conditioned on Relations
Sort
View
95
Voted
CORR
2010
Springer
158views Education» more  CORR 2010»
15 years 18 days ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
104
Voted
ICDM
2008
IEEE
172views Data Mining» more  ICDM 2008»
15 years 7 months ago
Latent Dirichlet Allocation and Singular Value Decomposition Based Multi-document Summarization
Multi-Document Summarization deals with computing a summary for a set of related articles such that they give the user a general view about the events. One of the objectives is th...
Rachit Arora, Balaraman Ravindran
79
Voted
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
15 years 7 months ago
Stability of Zeno equilibria in Lagrangian hybrid systems
— This paper presents both necessary and sufficient conditions for the stability of Zeno equilibria in Lagrangian hybrid systems, i.e., hybrid systems that model mechanical syst...
Yizhar Or, Aaron D. Ames
69
Voted
APAL
2006
54views more  APAL 2006»
15 years 17 days ago
Covering the Baire space by families which are not finitely dominating
It is consistent (relative to ZFC) that each union of max{b, g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consist...
Heike Mildenberger, Saharon Shelah, Boaz Tsaban
121
Voted
WM
2003
15 years 1 months ago
Integration with Ontologies
: One of today’s hottest IT topics is integration, as bringing together information from different sources and structures is not completely solved. The approach outlined here wan...
Andreas Maier, Jessica Aguado, Amaia Bernaras, I&n...