908 search results - page 71 / 182 » Generating maximal models using the stable model semantics |
143
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
126
click to vote
ICIP
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper presents a Bayesian Network model for ContentBased Image Retrieval (CBIR). In the explanation and test of this work, only two images features (semantic evidences) are i...
147
Voted
PROCEDIA
2010
15 years 2 months ago
2010
Generative Topographic Mapping (GTM) is an important technique for dimension reduction which has been successfully applied to many fields. However the usual Expectation-Maximizat...
171
click to vote
IPM
2007
15 years 4 months ago
2007
Most knowledge accumulated through scientific discoveries in genomics and related biomedical disciplines is buried in the vast amount of biomedical literature. Since understandin...
137
Voted
COMPSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
With the rapid development of model-driven engineering (MDE), domain-specific modeling has become a widely used software development technique. In MDE, metamodels represent a schem...