3780 search results - page 227 / 756 » Structured Relation Discovery using Generative Models |
200
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...
199
click to vote
IADIS
2004
15 years 8 months ago
2004
Our research works are interested in the identification and the representation of the semantic structures of multimedia documents. The semantic structure of a multimedia document ...
189
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: RNA secondary structure prediction methods based on probabilistic modeling can be developed using stochastic context-free grammars (SCFGs). Such methods can readily co...
206
click to vote
IJSEKE
2011
14 years 10 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
179
click to vote
SMA
2009
ACM
16 years 1 months ago
2009
ACM
We present a method for procedurally modeling general complex 3D shapes. Our approach is targeted towards applications in digital entertainment and gaming and can automatically ge...