4498 search results - page 303 / 900 » How to Invent Functions |
146
click to vote
ICMT
2010
Springer
15 years 8 months ago
2010
Springer
Existing bidirectional model transformation languages are mainly state-based: a transformation is considered composed from functions whose inputs and outputs only consist of origin...
159
click to vote
DASFAA
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. A key issue to address in biological data integration is how to detect changes to the underlying biological data sources. In this demonstration, we present a novel system...
142
Voted
AAAI
2007
15 years 7 months ago
2007
This paper formalizes a well-known psychological model of emotions in an agent specification language. This is done by introducing a logical language and its semantics that are u...
123
click to vote
AISC
2008
Springer
15 years 7 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
144
click to vote
CIS
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, a method is introduced how to process the Discrete Fourier Transform (DFT) by a singlelayer neural network with a linear transfer function. By implementing the sugg...