3780 search results - page 306 / 756 » Structured Relation Discovery using Generative Models |
207
click to vote
HASKELL
2005
ACM
16 years 8 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
181
click to vote
AIPS
2000
15 years 8 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
353
click to vote
ICDE
2008
IEEE
17 years 6 months ago
2008
IEEE
The Web has the potential to become the world’s
largest knowledge base. In order to unleash this potential,
the wealth of information available on the Web needs to be
extracte...
213
click to vote
TSP
2010
15 years 1 months ago
2010
Sparse graphical models have proven to be a flexible class of multivariate probability models for approximating high-dimensional distributions. In this paper, we propose techniques...
183
click to vote
IEEESCC
2005
IEEE
16 years 9 days ago
2005
IEEE
Two practical paradigms are presented, which facilitate domain concepts to be directly used to model business operations: the first paradigm is based on the business artifacts and...