Sciweavers

1037 search results - page 52 / 208
» Topic Models Conditioned on Relations
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
14 years 10 months 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
ICDM
2008
IEEE
172views Data Mining» more  ICDM 2008»
15 years 4 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
CDC
2008
IEEE
116views Control Systems» more  CDC 2008»
15 years 4 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
APAL
2006
54views more  APAL 2006»
14 years 10 months 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
WM
2003
14 years 11 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...