Sciweavers

1914 search results - page 250 / 383
» Semantic domains for Handel-C
Sort
View
APIN
2008
102views more  APIN 2008»
15 years 6 months ago
Approximation-based feature selection and application for algae population estimation
This paper presents a data-driven approach for feature selection to address the common problem of dealing with high-dimensional data. This approach is able to handle the real-valu...
Qiang Shen, Richard Jensen
APIN
2006
109views more  APIN 2006»
15 years 6 months ago
Visual analogy: Viewing analogical retrieval and mapping as constraint satisfaction problems
The core issue of analogical reasoning is the transfer of relational knowledge from a source case to a target problem. Visual analogical reasoning pertains to problems containing ...
Patrick W. Yaner, Ashok K. Goel
CERA
2007
105views more  CERA 2007»
15 years 6 months ago
CAD/CAPP Integration using Feature Ontology
: In a collaborative computer-supported engineering environment, the interoperation of various applications will need a representation that goes beyond the current geometry-based r...
Christel Dartigues, Parisa Ghodous, Michael Grunin...
JUCS
2002
110views more  JUCS 2002»
15 years 6 months ago
Generation of Constants and Synchronization of Finite Automata
: The problem about the synchronization of a finite deterministic automaton is not yet properly understood. The present paper investigates this and related problems within the gene...
Arto Salomaa
JAIR
2010
111views more  JAIR 2010»
15 years 4 months ago
Grounding FO and FO(ID) with Bounds
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning s...
Johan Wittocx, Maarten Mariën, Marc Denecker