258 search results - page 10 / 52 » Combining Instance Generation and Resolution |
PLDI
1997
ACM
14 years 1 months ago
1997
ACM
A major research goal for compilers and environments is the automatic derivation of tools from formal specifications. However, the formal model of the language is often inadequat...
AUTOMATICA
2008
13 years 8 months ago
2008
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...
TEC
2011
13 years 4 months ago
2011
—Trial vector generation strategies and control parameters have a significant influence on the performance of differential evolution (DE). This paper studies whether the performa...
CISIS
2009
IEEE
14 years 4 months ago
2009
IEEE
We explore how to support the creation of customized visualizations of ontology instance data through the specification of ontology mappings. We combine technologies from the dis...
ICML
2006
IEEE
14 years 10 months ago
2006
IEEE
We study hierarchical classification in the general case when an instance could belong to more than one class node in the underlying taxonomy. Experiments done in previous work sh...