Sciweavers

1578 search results - page 73 / 316
» Induction of Stable Models
Sort
View
107
Voted
LPAR
2010
Springer
15 years 2 months ago
On the Complexity of Model Expansion
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
Antonina Kolokolova, Yongmei Liu, David G. Mitchel...
116
Voted
KDD
2005
ACM
109views Data Mining» more  KDD 2005»
16 years 4 months ago
Overcoming Incomplete User Models in Recommendation Systems Via an Ontology
Abstract. To make accurate recommendations, recommendation systems currently require more data about a customer than is usually available. We conjecture that the weaknesses are due...
Vincent Schickel-Zuber, Boi Faltings
121
Voted
NAACL
2010
15 years 1 months ago
Painless Unsupervised Learning with Features
We show how features can easily be added to standard generative models for unsupervised learning, without requiring complex new training methods. In particular, each component mul...
Taylor Berg-Kirkpatrick, Alexandre Bouchard-C&ocir...
101
Voted
TLCA
2007
Springer
15 years 9 months ago
Strong Normalization and Equi-(Co)Inductive Types
e type system for the l—m˜d—E™—l™ulus enri™hed with re™urE sive —nd ™ore™ursive fun™tions over equiEindu™tive —nd E™oindu™tive types is presented in whi™h —ll wel...
Andreas Abel
138
Voted
HICSS
2005
IEEE
152views Biometrics» more  HICSS 2005»
15 years 9 months ago
Formation of an Online Community of Practice: An Inductive Study Unearthing Key Elements
Informal conversations occur all day long among employees. These conversations allow employees to share experience such as innovative ideas for performing a task. Internalizing th...
Lori Baker-Eveleth, Suprateek Sarker, Daniel M. Ev...