3780 search results - page 370 / 756 » Structured Relation Discovery using Generative Models |
191
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
202
click to vote
CMSB
2003
Springer
16 years 10 hour ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
182
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
192
click to vote
WSC
1997
15 years 8 months ago
1997
We discuss some basic techniques for modeling dependence between the random variables that are inputs to a simulation model, with the main emphasis being continuous bivariate dist...
182
Voted
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
Domain specific ontologies are heavily used in many applications. For instance, these form the bases on which similarity/dissimilarity between keywords are extracted for various k...