6020 search results - page 107 / 1204 » A New Approach to Model Counting |
158
Voted
PADS
2009
ACM
15 years 10 months ago
2009
ACM
Semantic composability aims to ensure that the composition of simulation components is meaningful in terms of their expressed behavior, and achieves the desired objective of the n...
126
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
134
click to vote
ICML
2007
IEEE
16 years 4 months ago
2007
IEEE
We present a new machine learning approach for 3D-QSAR, the task of predicting binding affinities of molecules to target proteins based on 3D structure. Our approach predicts bind...
130
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we propose a new harmonic balance simulation methodology based on a linear-centric modeling approach. A linear circuit representation of the nonlinear devices and as...
133
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper introduces LDA-G, a scalable Bayesian approach to finding latent group structures in large real-world graph data. Existing Bayesian approaches for group discovery (suc...