Sciweavers

1173 search results - page 3 / 235
» Program Derivation Using Analogy
Sort
View
ICCS
2003
Springer
13 years 11 months ago
Invariant Manifolds and Grobman-Hartman Theorem for Equations with Degenerate Operator at the Derivative
Abstract. Analog of Grobman-Hartman theorem about stable and unstable manifolds solutions for differential equations in Banach spaces with degenerate Fredholm operator at the deri...
Bülent Karasözen, Irina Konopleva, Boris...
EH
2004
IEEE
163views Hardware» more  EH 2004»
13 years 9 months ago
Towards Evolvable Analog Artificial Neural Networks Controllers
This work deals with the design of analog circuits for Artificial Neural Networks (ANNs) controllers using an Evolvable Hardware (EHW) platform. ANNs are massively parallel system...
José Franco Machado do Amaral, Jorge Lu&iac...
TPLP
2002
90views more  TPLP 2002»
13 years 5 months ago
Properties of input-consuming derivations
We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic schedu...
Annalisa Bossi, Sandro Etalle, Sabina Rossi
EACL
1989
ACL Anthology
13 years 7 months ago
Parsing And Derivational Equivalence
It is a tacit assumption of much linguisticinquiry that alldistinctderivations of a string should assign distinct meanings. But despite the tidinessof such derivational uniqueness...
Mark Hepple, Glyn Morrill
HCI
2009
13 years 3 months ago
DocEmoX: A System for the Typography-Derived Emotional Annotation of Documents
This work presents the design and implementation of the DocEmoX system for the automated typography-derived emotional extraction and annotation of printed and electronic documents....
Georgios Kouroupetroglou, Dimitrios Tsonos, Eugeni...