3780 search results - page 360 / 756 » Structured Relation Discovery using Generative Models |
221
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
155
Voted
WOSP
2004
ACM
16 years 6 days ago
2004
ACM
When software products are assembled from pre-defined components, performance prediction should be based on the components also. This supports rapid model-building, using previous...
174
click to vote
BMCBI
2004
15 years 6 months ago
2004
Background: The Hotdog fold was initially identified in the structure of Escherichia coli FabA and subsequently in 4-hydroxybenzoyl-CoA thioesterase from Pseudomonas sp. strain CB...
205
click to vote
TSP
2010
15 years 1 months ago
2010
Graphical models are a framework for representing and exploiting prior conditional independence structures within distributions using graphs. In the Gaussian case, these models are...
149
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—Wireless sensor networks need very efficient network protocols due to the sensors’ limited communication and computation capabilities. Network planarization – find...